Phrase guide
Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.
Sound
Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
No pronunciation record was provided for this word.
noun
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.
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
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.
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
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
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
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).
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where
M_0:S→N is an initial marking, where for each place s∈S, there are n_s∈N tokens.
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
One of several mathematical representations of discrete distributed systems, a 5-tuple (S,T,F,M_0,W)!, where
W:F→N+ is a set of arc weights, which assigns to each arc f∈F some n∈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.
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
History
Named after Carl Adam Petri (1926–2010), German mathematician and computer scientist.
Across languages
2 source translations are retained for this English entry.
