A sufficient condition for reachability in a general Petri net

DOI10.1023/B:DISC.0000028197.25480.D6zbMath1073.93003OpenAlexW1980200158MaRDI QIDQ702167

Manjunath Kamath, Parthasarathy Ramachandran

Publication date: 17 January 2005

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:disc.0000028197.25480.d6

zbMATH Keywords

controllabilityPetri netsreachability analysisunfoldingacyclic transformationsnet expansiontransition firing sequence

Mathematics Subject Classification ID

Controllability (93B05) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Transformations (93B17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03)

This page was built for publication: A sufficient condition for reachability in a general Petri net