Statements (37)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
graphical tool |
| gptkbp:describedBy |
Petri net theory
|
| gptkbp:formalismType |
bipartite graph
|
| gptkbp:hasApplication |
software engineering
communication protocols system design manufacturing systems business process modeling performance analysis workflow management biological systems modeling protocol verification |
| gptkbp:hasComponent |
tokens
transitions places arcs |
| gptkbp:hasProperty |
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 net
|
| gptkbp:inventedBy |
gptkb:Carl_Adam_Petri
1962 |
| gptkbp:relatedTo |
gptkb:colored_Petri_nets
gptkb:stochastic_Petri_nets gptkb:timed_Petri_nets gptkb:finite_automata Markov processes state machines workflow nets |
| gptkbp:usedFor |
modeling concurrent systems
modeling asynchronous systems modeling distributed systems modeling nondeterministic systems |
| gptkbp:bfsParent |
gptkb:Petri
|
| gptkbp:bfsLayer |
5
|