Related articles:
Actor model
Bipartite graph
Diagram
Activity diagram
Concurrency (computer science)
Key terms:
petri net
transition
marking
tokens
graph
bullet
reachability
iff
concurrency
timed
bmatrix
mathematically
extensions
forall s
mathbb
inherently
if and only if
boundedness
automaton
wedge
firing sequence
reachability graph
petri net graph
stackrel
multiset
subseteq
bounded net
input places
nondeterministic
original petri net
coloured petri nets
transition in the petri net
timed petri nets
we say
formalism
bullet t
process architecture
assigns to each
reachable markings
abstraction
number of tokens
decidable
mid w
output places
transition relation
finite state
concurrency and conflict
initial marking
hierarchical
all transitions
Search external links cited by footnotes on Wikipedia page Petri net:
|
|