𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coloured Petri Nets || Non-hierarchical Coloured Petri Nets

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

Book ID
120656955
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
278 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