Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:developedBy |
gptkb:Kurt_Jensen
|
| gptkbp:domain |
communication protocols
manufacturing systems business process modeling workflow management |
| gptkbp:feature |
hierarchical modeling
arc expressions guard expressions tokens carry data values (colors) |
| gptkbp:formalized_in |
gptkb:Coloured_Petri_Nets:_Basic_Concepts,_Analysis_Methods_and_Practical_Use_(book)
|
| https://www.w3.org/2000/01/rdf-schema#label |
colored Petri nets
|
| gptkbp:introducedIn |
1979
|
| gptkbp:related_tool |
gptkb:CPN_Tools
|
| gptkbp:relatedConcept |
gptkb:stochastic_Petri_nets
gptkb:timed_Petri_nets place/transition nets |
| gptkbp:standardizedBy |
gptkb:ISO/IEC_15909-2
|
| gptkbp:subclassOf |
gptkb:Petri_net
|
| gptkbp:usedFor |
modeling concurrent systems
modeling distributed systems |
| gptkbp:bfsParent |
gptkb:Petri_net
gptkb:Petri_nets |
| gptkbp:bfsLayer |
6
|