𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coloured Petri Nets || Formal Definition of Non-hierarchical Coloured Petri Nets

✍ Scribed by Jensen, Kurt; Kristensen, Lars M.

Book ID
120656956
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
175 KB
Category
Article
ISBN
3642002846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Coloured Petri Nets || Teaching Coloured
Coloured Petri Nets || Teaching Coloured Petri Nets
✍ Jensen, Kurt; Kristensen, Lars M. πŸ“‚ Article πŸ“… 2009 πŸ› Springer Berlin Heidelberg 🌐 English βš– 137 KB

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and t