Table of ContentsPPT Slide This Lecture Basic Issues of Concurrency Concurrency and FSAs Possible Solution Petri Nets: An Example Simple Elevator Producer/Consumer Producer/Consumer (2) Producer/Consumer (3) Mutual Exclusion Another Example Petri Nets: Formal Definition Markings & Execution Model Reachable States Markings (continued) Comparing Markings As we have seen ... Special Kinds of Petri Nets Unbounded Nets Is This Net Bounded? Non-Conservative Nets Is This Net Conservative? Is This Net Conservative? Other Questions Liveness Last Slide PPT Slide Simple Example Simple Elevator Producer/Consumer Is This Net Bounded? Mutual Exclusion Is This Net Conservative? Liveness Another Example |
Author: David Garlan
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |