scientific article
From MaRDI portal
Publication:3967058
zbMath0501.68027MaRDI QIDQ3967058
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decompositionboundednessincidence matrixlivenessreductionapplicationsPetri netsexamplesrooted treestructural propertiestrapsmarked graphsdeadlockassociated graphfiring sequencesreachable markinglinear algebra techniquesfree-choice netsassociated languagenet complexitystate-machine graphs
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)
Related Items
A logical approach of Petri net languages ⋮ Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Normalization of place/transition-systems preserves net behaviour ⋮ Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Reduction and covering of infinite reachability trees ⋮ Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture ⋮ On liveness and controlled siphons in Petri nets ⋮ Proving nonreachability by modulo-invariants ⋮ Structure theory of equal conflict systems ⋮ Testing for unboundedness of fifo channels ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée ⋮ Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets ⋮ An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets ⋮ A taxonomy of fairness and temporal logic problems for Petri nets ⋮ Petri nets for modeling of dynamic systems -- a survey
