Publication:3997488
From MaRDI portal
zbMath0755.68111MaRDI QIDQ3997488
Publication date: 17 September 1992
05C90: Applications of graph theory
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68R10: Graph theory (including graph drawing) in computer science
93C55: Discrete-time control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Petri nets properties related to the unboundness and analyzed using coverability multigraph, Symmetries in timed continuous Petri nets