|
|
| Line 1: |
Line 1: |
| {{Unreferenced|date=December 2009}}
| | The author is known as Irwin Wunder but it's not the most masucline title out there. My family lives in Minnesota and my family enjoys it. What I love performing is playing baseball but I haven't produced a dime with it. Bookkeeping is my occupation.<br><br>Feel free to surf to my page :: [http://www.youronlinepublishers.com/authWiki/AudreaocMalmrw www.youronlinepublishers.com] |
| 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: <math>\forall p\in P: |p\bullet|=|\bullet p|=1</math>. Marked graphs are used mostly to mathematically represent concurrently running operations, such as a multiprocessor machine's internal process state.
| |
| | |
| ==Uses==
| |
| Marked graphs are mainly used to mathematically represent concurrent mechanisms, in order to be able to mathematically derive certain characteristics of the design.
| |
| | |
| ==Example==
| |
| [[Image:Marked Graph example1.png|400px|right|Marked Graph example]] | |
| This example presents a Marked Graph, where a process is [[Fork (operating system)|forked]] at transition T1 and [[Synchronization point#Data_synchronization|synchronised]] at T4. In between, two operations take place in non-deterministic fashion, T2 and T3. In fact, Petri nets are so much non-deterministic, that they may not take place at all. But the reason for having this non-deterministic property is not this, but to mimic real-life experiences which shows that parallel computing always means that it is impossible to determine which process/thread will finish first i.e. which operation(s) will execute faster. This can be due to waiting for [[Input/Output|I/O]] in real world, or just the different parameters given to the processes/threads.
| |
| | |
| {{DEFAULTSORT:Marked Graph}}
| |
| [[Category:Petri nets]]
| |
Latest revision as of 02:08, 23 October 2014
The author is known as Irwin Wunder but it's not the most masucline title out there. My family lives in Minnesota and my family enjoys it. What I love performing is playing baseball but I haven't produced a dime with it. Bookkeeping is my occupation.
Feel free to surf to my page :: www.youronlinepublishers.com