Visit the forum if you have a language query!

# Petri net

Teach only love for that is what you are.
A Course In Miracles

## English

Wikipedia has an article on:
Wikipedia

### Noun

 Singular Petri net Plural {{{1}}}
Petri net ({{{1}}})
1. One of several mathematical representations of discrete distributed systems, a 5-tuple $(S,T,F,M_0,W)\!$, where
1. $S$ is a set of places.
2. $T$ is a set of transitions.
3. $S$ and $T$ are disjoint, i.e. no object can be both a place and a transition
4. $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 \subseteq (S \times T) \cup (T \times S)$.
5. $M_0 : S \to \mathbb{N}$ is an initial marking, where for each place $s \in S$, there are $n_s \in \mathbb{N}$ tokens.
6. $W : F \to \mathbb{N^+}$ is a set of arc weights, which assigns to each arc $f \in F$ some $n \in \mathbb{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.

## Elsewhere on the web

### En-De

OnelookIATEIATEIATEIATEProZDict.cc
WordnikIATELinguee