Marked graph

A marked graph is a Petri net in which every place has exactly one incoming arc, and exactly one outgoing arc. This means, that there can not be conflict, but there can be concurrency. Mathematically: $\forall p\in P: |p\bullet|=|\bullet p|=1$ . Marked graphs are used mostly to mathematically represent concurrently running operations, such as a multiprocessor machine's internal process state. This class of Petri nets gets the name from a popular way of representing them: as a graph where each place is an edge and each transition is a node.

单词	Marked Graph
释义	Marked Graph 英语百科 Marked graph A marked graph is a Petri net in which every place has exactly one incoming arc, and exactly one outgoing arc. This means, that there can not be conflict, but there can be concurrency. Mathematically: $\forall p\in P: \|p\bullet\|=\|\bullet p\|=1$ . Marked graphs are used mostly to mathematically represent concurrently running operations, such as a multiprocessor machine's internal process state. This class of Petri nets gets the name from a popular way of representing them: as a graph where each place is an edge and each transition is a node.
随便看	cargo handling with married fall的意思 cargo hanlding plane的意思 Cargo hatch的意思 cargo hatch cover的意思 cargo hatchcover的意思 cargo hatchcover, hatchcover的意思 cargo hatches的意思 Cargo Hatch List的意思 cargo hatch pontoon cover的意思 cargo hatch side coaming的意思 cargo hatch trunk的意思 cargo hatchway的意思 cargo hauling的意思 cargo head的意思 cargo heater的意思 cargo heating的意思 cargo heating coils的意思 cargo heating installation的意思 cargo heating system的意思 Cargo Helicopter的意思 cargo helicopters的意思 cargo hoissting block的意思 cargo hoist的意思 cargo hoisting block的意思 cargo hoist lead line的意思

Marked Graph

Marked graph