pn2 - PetriNetsII Monday,October24,2005 1 Review PetriNet...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Petri Nets II Monday, October 24, 2005
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Review Petri Net  C = ( P, T, I, O) marking µ : instantaneous state of the Petri net Consists of places and transitions, connected by arcs.  Token can be placed in places and fired. Properties:  Sequential Execution Synchronization Merging Concurrency Conflict
Background image of page 2
3 Time in Petri Net Original model of Petri Net was timeless. Time was not  explicitly considered since measurements of time in distributed systems implies  synchronization via a global clock independency describes a form of  parallelism(concurrency) without time without time the modeling capabilities of petri nets are  larger than with time and modeling is consistent with  the laws of modern physics
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 Time in Petri Net   -continued Even though there are arguments against the  introduction of time, there are several applications that 
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/09/2011 for the course CAP 4800 taught by Professor Fishwick during the Fall '08 term at University of Florida.

Page1 / 13

pn2 - PetriNetsII Monday,October24,2005 1 Review PetriNet...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online