A tabular method for the analysis of large petri nets

DOI10.1080/00207169008803877zbMath0699.68082OpenAlexW2073972542MaRDI QIDQ3477973

Hossam Mahmoud Ahmad Fahmy

Publication date: 1990

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169008803877

zbMATH Keywords

Petri netsmatrix equationsreachability treeanalysis techniques

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: A tabular method for the analysis of large petri nets