Petri net en · NOUN
Etymology
Named after Carl Adam Petri (1926–2010), German mathematician and computer scientist.
Meanings
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ S is a set of places.
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ T is a set of transitions.
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ S and T are disjoint, i.e. no object can be both a place and a transition
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ 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).
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ M_0:S→ℕ is an initial marking, where for each place s∈S, there are n_s∈ℕ tokens.
- One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where ▸ 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Petri nets | Number=Plur | lexicographic |
Translations (2)
de Petri-Netz (mathematical representations of discrete distributed systems) · cs Petriho síť (mathematical representations of discrete distributed systems)