pn1 (1) - PetriNetsI Friday,October21,2005 1...

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

View Full Document Right Arrow Icon
1 Petri Nets I Friday, October 21, 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 Definition of Petri Net C = ( P, T, I, O) Places P = { p 1 , p 2 , p 3 , …, p n } Transitions T = { t 1 , t 2 , t 3 , …, t n } Input  I : T   P r  (r = number of places) Output O : T   P q  (q = number of places) marking µ : assignment of tokens to the places of Petri  net µ = µ 1 , µ 2 , µ 3 , … µ
Background image of page 2
3 Applications of Petri Net Petri net is primarily used for studying the dynamic  concurrent behavior of network-based systems where  there is a discrete flow. Petri Nets are applied in practice by industry, academia,  and other places.  - reference
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 Basics of Petri Nets Petri net consist two types of nodes:  places   and  transitions . And arc exists only from a  place to a transition or from a transition to a  place.  A place may have zero or more  tokens Graphically, places, transitions, arcs, and  tokens are represented respectively by:  circles, bars, arrows, and dots.  p 2 p 1 t 1
Background image of page 4
5 Basics of Petri Nets  -continued Below is an example Petri net with two places  and one transaction.  Transition node is ready to 
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 20

pn1 (1) - PetriNetsI Friday,October21,2005 1...

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

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