scientific article; zbMATH DE number 3789841

MaRDI QIDQ3967058zbMATH OpenFDO

Authors G. W. Brams

Publication date 1983

zbMATH Keywords

applicationsassociated graphassociated languageboundednessdeadlockdecompositionexamplesfiring sequencesfree-choice netsincidence matrixlinear algebra techniqueslivenessmarked graphsnet complexityPetri netsreachable markingreductionrooted treestate-machine graphsstructural propertiestraps

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(19)

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• A logical approach of Petri net languages
• Problems concerning fairness and temporal logic for conflict-free Petri nets
• Reduction and covering of infinite reachability trees
• Petri nets for modeling of dynamic systems -- a survey
• Petri nets for the design and operation of manufacturing systems
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Performance analysis of retrial queueing systems using generalized stochastic Petri nets
• Individuals, populations and fluid approximations: a Petri net based perspective
• Normalization of place/transition-systems preserves net behaviour
• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
• On liveness and controlled siphons in Petri nets
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• Minimal generating sets for semiflows
• Proving nonreachability by modulo-invariants
• Structure theory of equal conflict systems
• Testing for unboundedness of fifo channels
• A taxonomy of fairness and temporal logic problems for Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3967058)