
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
- 9783642002830
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 2.7.2009
- Sivumäärä
- 384