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