Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:citation |
Kurt Jensen, Lars M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, 2009.
|
| gptkbp:developedBy |
gptkb:Aarhus_University
|
| gptkbp:firstReleased |
2003
|
| gptkbp:hasFeature |
gptkb:simulation
code generation graphical editor syntax checking state space analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
CPN Tools
|
| gptkbp:latestReleaseVersion |
2013-09-16
4.0.1 |
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
gptkb:Windows
|
| gptkbp:programmingLanguage |
gptkb:Java
gptkb:SML/NJ |
| gptkbp:supports |
Coloured Petri Nets
Timed Coloured Petri Nets |
| gptkbp:usedFor |
analyzing Coloured Petri Nets
editing Coloured Petri Nets simulating Coloured Petri Nets |
| gptkbp:website |
http://cpntools.org/
|
| gptkbp:bfsParent |
gptkb:colored_Petri_nets
|
| gptkbp:bfsLayer |
7
|