Final Presentation v3

Final Presentation v3 - Petri Nets An Overview IE 680...

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

View Full Document Right Arrow Icon
    Petri Nets An Overview IE 680 Presentation April 30, 2007 Renata Kopach- Konrad
Background image of page 1

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

View Full DocumentRight Arrow Icon
    Overview The building blocks of Petri Nets An example Analysis tools Extensions Elements of steady-state simulation  theory for SPNs
Background image of page 2
    What are Petri Nets? Mathematical modeling  tools  that capture operational  dynamics of discrete event  systems Graphical  Representation Modeling  Language State-transition  mechanism Event Scheduling  mechanism Not this kind of Petri!
Background image of page 3

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

View Full DocumentRight Arrow Icon
    Applications Software design Workflow management Data Analysis Reliability Engineering
Background image of page 4
    Suitable for Modeling Concurrency Synchronization Precedence Priority Bottom up and top-down modeling
Background image of page 5

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

View Full DocumentRight Arrow Icon
    Modeling Tool: Petri Nets Supports modularity and abstraction Supports system simulation Supports  formal analysis  for operational  properties such as boundedness, liveness,  reachabiltiy, etc. Petri Nets have a rich research literature
Background image of page 6
What is a Petri Net?
Background image of page 7

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

View Full DocumentRight Arrow Icon
System State: Tokens and Net  Marking
Background image of page 8
Initial State: (1,1,2,1) t2 is enabled
Background image of page 9

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

View Full DocumentRight Arrow Icon
Fire t2, New State: (1,0,3,2)
Background image of page 10
Fire t3, New State: (2,0,2,2)
Background image of page 11

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

View Full DocumentRight Arrow Icon
Fire t1, New State: (1,2,2,2)
Background image of page 12
Fire t4, New State: (1,3,2,0)
Background image of page 13

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

View Full DocumentRight Arrow Icon
    In the context of DES Marking of the SPN = state of the  system Firing of a transition = occurrence of an  event
Background image of page 14
    Notation… Petri net  is a 5-tuple , where S  is a set of  places T  is a set of  transitions    F  is a set of  arcs s.t.
Background image of page 15

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

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

Page1 / 34

Final Presentation v3 - Petri Nets An Overview IE 680...

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

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