Use of reentrant nets in modular analysis of colored nets

This publication has 4 references indexed in Scilit:

• Modeling and analysis of the behavior of information systems
  IEEE Transactions on Software Engineering, 1988
• Interface as a Basic Concept for Systems Specification and Verification
  Published by Springer Nature ,1987
• 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