Coloured Petri Nets: A High Level Language for System Design and Analysis

This publication has 11 references indexed in Scilit:

• On Well-Formed Coloured Nets and Their Symbolic Reachability Graph
  Published by Springer Nature ,1991
• PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
  IEEE Transactions on Software Engineering, 1988
• Modelling architectural features with petrinets
  Published by Springer Nature ,1987
• Reachability trees for high-level petri nets
  Theoretical Computer Science, 1986
• Petri Nets Specification of Virtual Ring Protocols
  Published by Springer Nature ,1983
• High-Level Petri Nets
  Informatik-Fachberichte, 1983
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• Net Theory and Applications
  Lecture Notes in Computer Science, 1980
• Parallel program schemata
  Journal of Computer and System Sciences, 1969