Enlaces a sitios |
|
|
Department of Computer Science at Aarhus University hosting CPN language tools | CPN IDE replaces CPN Tools as a tool for editing and simulating (Coloured) Petri Net models. The main advantage of CPN IDE is that it is an extensible tool, which is needed to keep it running and to add new features. |
Coloured Petri Nets modelling tool, simulation, and programming environment | Official source code repository for CPN Tools and Coloured Petri Nets simulation language components. |
Peer-reviewed engineering papers evaluating concurrent systems using CPN | Archived documentation and user manuals for CPN Tools |
Personal academic homepage of Kurt Jensen, creator of Coloured Petri Nets | Academic research articles discussing CPN modeling language specifications |
Comprehensive academic textbook introducing Coloured Petri Nets language and methods | Encyclopedic description of CPN modeling and formal specification languages |
|