RhymeZone

 

Think you know it, poet?
Play Twofer Goofer, a new rhyming game.

Definitions of Petri net:
  • noun:   S is a set of places.
  • noun:   T is a set of transitions.
  • noun:   S and T are disjoint, i.e. no object can be both a place and a transition
  • noun:   F is a set of arcs known as a flow relation. The set F is subject to the constraint that no arc may connect two places or two transitions, or more formally: F⊆(S⨯T)∪(T⨯S).
  • noun:   M_0:S→ℕ is an initial marking, where for each place s∈S, there are n_s∈ℕ tokens.
  • noun:   W:F→ℕ⁺ is a set of arc weights, which assigns to each arc f∈F some n∈ℕ⁺ denoting how many tokens are consumed from a place by a transition, or alternatively, how many tokens are produced by a transition and put into each place.

(Definitions from Wiktionary)

Related words...


 
Help  Feedback  Privacy  Terms of Use

Copyright © 2023