
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.
- Alaotsikko
- Modelling and Validation of Concurrent Systems
- Kirjailija
- Kurt Jensen, Lars M. Kristensen
- Painos
- 2009 ed.
- ISBN
- 9783642425813
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.11.2014
- Sivumäärä
- 384