Asynchronous communication of Petri Nets and the refinement of transitions

This publication has 11 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Modular Construction and Partial Order Semantics of Petri Nets
  Published by Springer Nature ,1992
• A survey of behaviour and equivalence preserving refinements of petri nets
  Published by Springer Nature ,1991
• On internal and external characterisations of PT-net building block behaviour
  Published by Springer Nature ,1988
• Behaviour preserving refinements of Petri nets
  Published by Springer Nature ,1987
• Specification-oriented semantics for Communicating Processes
  Acta Informatica, 1986
• Determinancy → (observation equivalence = trace equivalence)
  Theoretical Computer Science, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Possible futures, acceptances, refusals, and communicating processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981