Extended colored Petri net: An efficient tool for analyzing concurrent systems

DOI10.1016/0020-0255(91)90051-UzbMath0717.68076OpenAlexW1988639602MaRDI QIDQ2638806

Sajal K. Das, Dilip Sarkar, Lalit M. Patnaik, Vinod K. Agrawal

Publication date: 1991

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(91)90051-u

zbMATH Keywords

concurrent systemsPetri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Reflexive Incidence Matrx (RIM) Representation of Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extended colored Petri net: An efficient tool for analyzing concurrent systems