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

Fall 2004: M 4:30 7:10 pm in Room IN 132 (Innovation Hall)

 

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 (74307); SYST 620 001 (74308)

 

COURSE OUTLINE (subject to change as this is a new course)

 

8/30/2004

Introduction: Systems and Models; Petri Net basics

9/13/2004

Essential Features of Petri Nets

9/20/2004

Petri Net models and Definitions

9/27/2004

Colored Petri nets

10/4/2004

Introduction to Net Analysis: Reachability graphs (state space methods)

10/12/2004

Invariant Analysis the Farkas algorithm

10/18/2004

Deconstruction using invariants (structural methods)

10/25/2004

Mid Term

11/1/2004

Design: The Lattice algorithm

11/8/2004

Temporal issues in Petri nets

11/15/2004

Modeling and simulation using Colored Petri nets

11/22/2004

Stochastic Petri nets

11/29/2004

Architecture related issues

12/6/2004

Relation of Petri net models to other discrete event models

12/13/2004

Final Exam

 

 

Reading and reference material
Claude Girault and Rudiger Valk: Petri Nets for Systems Engineering, Springer, Berlin 2003

Detailed class notes by A. H. Levis

 

Student Evaluation Criteria:

Homework 40%

Midterm 25%

Final 35%