Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
graphical tool |
| gptkbp:consistsOf |
tokens
transitions places arcs |
| gptkbp:generalizes |
gptkb:colored_Petri_nets
gptkb:hierarchical_Petri_nets gptkb:stochastic_Petri_nets gptkb:timed_Petri_nets |
| gptkbp:hasApplication |
embedded systems
logistics robotics software engineering resource allocation communication networks scheduling concurrency control manufacturing systems performance analysis biological systems modeling fault diagnosis process mining protocol verification system simulation workflow analysis |
| gptkbp:hasProperty |
bipartite graph structure
enables analysis of boundedness enables analysis of deadlock enables analysis of liveness enables analysis of reachability |
| https://www.w3.org/2000/01/rdf-schema#label |
Petri nets
|
| gptkbp:inventedBy |
gptkb:Carl_Adam_Petri
1962 |
| gptkbp:relatedTo |
gptkb:finite_automata
state machines process algebra |
| gptkbp:standardizedBy |
gptkb:ISO/IEC_15909
|
| gptkbp:usedFor |
modeling concurrent systems
modeling asynchronous systems modeling distributed systems modeling nondeterministic systems |
| gptkbp:usedIn |
computer science
systems engineering formal verification business process modeling workflow management |
| gptkbp:bfsParent |
gptkb:Gerhard_Reisig
gptkb:Karp–Miller_algorithm |
| gptkbp:bfsLayer |
5
|