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: . Marked graphs are used mostly to mathematically represent concurrently running operations, such as a multiprocessor machine's internal process state.
Other articles related to "marked graph":
Marked Graph - Example
... This example presents a Marked Graph, where a process is forked at transition T1 and synchronised at T4 ...
... This example presents a Marked Graph, where a process is forked at transition T1 and synchronised at T4 ...
Famous quotes containing the words graph and/or marked:
“When producers want to know what the public wants, they graph it as curves. When they want to tell the public what to get, they say it in curves.”
—Marshall McLuhan (1911–1980)
““Though logic-choppers rule the town,
And every man and maid and boy
Has marked a distant object down,
An aimless joy is a pure joy....””
—William Butler Yeats (1865–1939)