Analysis of Petri nets by partitioning: Splitting transitions

DOI10.1016/0304-3975(90)90174-GzbMath0715.68066MaRDI QIDQ751853

Hossam Mahmoud Ahmad Fahmy

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

partitioningPetri nets

Mathematics Subject Classification ID

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

Related Items (1)

Analysis of petri nets by partitioning: splitting places or transitions

Cites Work

• Unnamed Item
• Termination Properties of Generalized Petri Nets
• State equation, controllability, and maximal matchings of petri nets
• Circuit theoretic analysis and synthesis of marked graphs

This page was built for publication: Analysis of Petri nets by partitioning: Splitting transitions