Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Petri_net_extension
gptkb:mathematical_modeling_language |
| gptkbp:application |
distributed systems
communication protocols manufacturing systems workflow management |
| gptkbp:developedBy |
gptkb:Kurt_Jensen
|
| gptkbp:extendsTo |
gptkb:Petri_nets
|
| gptkbp:hasFeature |
arc expressions
guard expressions data types (colours) token values |
| gptkbp:hasStandardReference |
Kurt Jensen's book 'Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use'
|
| gptkbp:introducedIn |
1970s
|
| gptkbp:relatedTo |
gptkb:hierarchical_Petri_nets
gptkb:timed_Petri_nets |
| gptkbp:supportedBy |
gptkb:CPN_Tools
|
| gptkbp:usedFor |
formal verification
performance analysis modeling concurrent systems |
| gptkbp:bfsParent |
gptkb:hierarchical_Petri_nets
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coloured Petri nets
|