On the invariants of coloured Petri Nets

This publication has 9 references indexed in Scilit:

• The analysis of distributed systems by means of predicate/transition-nets
  Published by Springer Nature ,2005
• A Petri net approach to the modelling and analysis of flexible manufacturing systems
  Annals of Operations Research, 1985
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• How to find invariants for coloured Petri nets
  Published by Springer Nature ,1981
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• Linear algebra in net theory
  Published by Springer Nature ,1980
• Formal properties of place/transition nets
  Published by Springer Nature ,1980
• A Synthesis Rule for Concurrent Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978
• Petri Nets
  ACM Computing Surveys, 1977