Reflexive Incidence Matrx (RIM) Representation of Petri Nets

DOI10.1109/TSE.1987.233202zbMath0632.68057MaRDI QIDQ3769973

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

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

self-loopsgeneral Petri netsreflexive incidence matrix

Mathematics Subject Classification ID

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

Related Items (2)

Extended colored Petri net: An efficient tool for analyzing concurrent systems ⋮ A new methodology for analyzing distributed systems modeled by petri nets

This page was built for publication: Reflexive Incidence Matrx (RIM) Representation of Petri Nets