Structural properties of petri nets

DOI10.1007/3-540-08921-7_95zbMath0381.68056OpenAlexW1514637558MaRDI QIDQ4162494

Joseph Sifakis

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

zbMATH Keywords

structural boundednessPetri netsstructural livenessexistence of deadlocks traps absorbers and generators of a special type

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Net operations ⋮ On the Reversibility of Live Equal-Conflict Petri Nets ⋮ Verification of component-based systems with recursive architectures ⋮ Compositional Verification for Component-Based Systems and Application ⋮ The complexity of problems involving structurally bounded and conservative Petri nets ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Exhibition of a Structural Bug with Wings ⋮ On the Reversibility of Well-Behaved Weighted Choice-Free Systems ⋮ Fair relation and modified synchronic distances in a Petri net

This page was built for publication: Structural properties of petri nets