|
Related articles:
Reachability
Bipartite graph
Sequential function chart
Activity diagram
Actor model
Modeling language
Diagram
Concurrency (computer science)
Carl Adam Petri
Key terms: math petri net transition places marking arc graph reachability tokens bullet concurrency mathematical transformation extensions bmatrix forall relation bounded iff finite capacities discrete extending enabled automaton stackrel wedge hierarchy nondeterministic priority transition relation multiset subseteq mathbb integer we say abstraction decidable hierarchical finite state may fire arbitrary bipartite Search external links cited by footnotes on Wikipedia page Petri net: |
|