ECE 673 / SYST 620  Discrete Event Systems  (3.0:3)

Prerequisites: ECE 521 or SYST 611 or equivalent

 

Introduction to modeling and analysis of discrete event dynamical systems. Course covers elements of discrete mathematics and then focuses on Petri Net models and their basic properties: locality and concurrency. Condition/event systems; Place/transition nets; Colored Petri nets; Reachability graphs (Occurrence nets); and Invariant Analysis. Temporal issues in Petri nets and Temporal Logic. Stochastic Petri nets. Relation to other discrete event models of dynamical systems. Applications of the theory to modeling and simulation and to systems engineering problems

 

 Instructor: Prof. Alexander H. Levis     S&T II, Room 261        703 993 1619   alevis@gmu.edu

 

Course Call numbers: ECE 673 001 72831; SYST 620 001 72820; SYST 620 622  76879

 

Fall 2006: T 4:30 – 7:10 pm      in Room  IN 131 (Innovation Hall)

 

COURSE OUTLINE (subject to change)

 

8/28/2006

Introduction:  Systems and Models; Petri Net basics

9/11/2006

Essential Features of Petri Nets; CPN Tools I

9/18/2006

Petri Net models and Definitions

9/25/2006

Colored Petri Nets; CPN Tools II

10/2/2006

Petri Net properties: State Space methods

10/10/2006

Petri net properties: Structural Methods and Invariants

10/16/2006

Hierarchical Petri Nets, Petri Nets and Time, Petri Net models

10/23/2006

Mid Term

10/30/2006

Petri net deconstruction; The Lattice algorithm

11/6/2006

Time in CPN

11/13/2006

State Space analysis in CPN

11/20/2006

Petri Net applications: V&V of rule bases, Adaptive architectures

11/27/2006

PN models and other DEDS models (Languages and Automata)

12/4/2006

Verification Algorithms

12/11/2006

Final Exam

 

Reading and reference material:


Kurt Jensen and Lars Kristensen, Coloured Petri Nets, Springer, Berlin (to be published in 07)

 

Detailed class notes by A. H. Levis

 

Student Evaluation Criteria: Homework 40%;  Midterm 25%; Final 35%