Siirry suoraan sisältöön
Coloured Petri Nets
Tallenna

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
Painos
2009 ed.
ISBN
9783642425813
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
2.11.2014
Sivumäärä
384