Structural properties of petri nets
From MaRDI portal
Publication:4162494
DOI10.1007/3-540-08921-7_95zbMath0381.68056MaRDI QIDQ4162494
Publication date: 1978
Published in: Mathematical Foundations of Computer Science 1978 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-08921-7_95
structural boundedness; Petri nets; structural liveness; existence of deadlocks traps absorbers and generators of a special type
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Fair relation and modified synchronic distances in a Petri net, The complexity of problems involving structurally bounded and conservative Petri nets, Net operations, Compositional Verification for Component-Based Systems and Application