[go: up one dir, main page]
More Web Proxy on the site http://driver.im/Jump to content

Petri net

From Wiktionary, the free dictionary

English

[edit]
English Wikipedia has an article on:
Wikipedia

Etymology

[edit]

Named after Carl Adam Petri (1926–2010), German mathematician and computer scientist.

Noun

[edit]

Petri net (plural Petri nets)

  1. One of several mathematical representations of discrete distributed systems, a 5-tuple , where
    1. is a set of places.
    2. is a set of transitions.
    3. and are disjoint, i.e. no object can be both a place and a transition
    4. is a set of arcs known as a flow relation. The set is subject to the constraint that no arc may connect two places or two transitions, or more formally: .
    5. is an initial marking, where for each place , there are tokens.
    6. is a set of arc weights, which assigns to each arc some 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.

Translations

[edit]

Anagrams

[edit]