Use of Reentrant Nets in Modular Analysis of Colored Nets

This publication has 5 references indexed in Scilit:

• Analysing nets by the invariant method
  Published by Springer Nature ,2006
• Some equivalence notions for concurrent systems. An overview
  Published by Springer Nature ,2005
• Modeling and analysis of the behavior of information systems
  IEEE Transactions on Software Engineering, 1988
• Use of the Behaviour Equivalence in Place-Transition Net Analysis
  Published by Springer Nature ,1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980