Coloured Petri Nets
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | 1992 |
Authors | Kurt Jensen |
Date of Reg. | |
Date of Upd. | |
ID | 2064157 |
About 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. . . .