
Coloured Petri Nets
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.
- Undertitel
- Modelling and Validation of Concurrent Systems
- Författare
- Kurt Jensen, Lars M. Kristensen
- Upplaga
- 2009 ed.
- ISBN
- 9783642002830
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2009-07-02
- Sidor
- 384