On internal and external characterisations of PT-net building block behaviour

This publication has 7 references indexed in Scilit:

• Some equivalence notions for concurrent systems. An overview
  Published by Springer Nature ,2005
• Acceptance trees
  Journal of the ACM, 1985
• Infinite behaviour and fairness in petri nets
  Published by Springer Nature ,1985
• Semantics of communicating processes
  Information and Control, 1984
• On the Notion of Interface in Condition/Event-Systems
  Published by Springer Nature ,1983
• Use of the Behaviour Equivalence in Place-Transition Net Analysis
  Published by Springer Nature ,1982
• Net Theory and Applications
  Lecture Notes in Computer Science, 1980