
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.
- Undertittel
- Modelling and Validation of Concurrent Systems
- Forfatter
- Kurt Jensen, Lars M. Kristensen
- Opplag
- 2009 ed.
- ISBN
- 9783642002830
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 2.7.2009
- Antall sider
- 384
