Gå direkte til innholdet
Coloured Petri Nets
Spar

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
Opplag
2009 ed.
ISBN
9783642425813
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
2.11.2014
Antall sider
384