Petri net - related articles and key terms

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: