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�� [email protected]

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%