2009-2010 University Catalog 
  
  Catalog Home
  About George Mason University
  Admission
  Tuition, Expenses, and Financial Aid
  Academic Policies
  Student Rights and Responsibilities
  General Policies
  University Academic Programs and Resources
  University General Education
  Institute for Conflict Analysis and Resolution
  College of Education and Human Development
  College of Health and Human Services
  College of Humanities and Social Sciences
  Krasnow Institute for Advanced Study
  School of Management
  School of Public Policy
  College of Science
  College of Visual and Performing Arts
  Volgenau School of Information Technology and Engineering
  Programs of Study
  Programs by Department
  Courses
  Course Information Directory
  Administration and Faculty
HELP
2009-2010 University Catalog

ECE 673 - Discrete Event Systems

Credits: 3
Cross-Listed with SYST 620

Introduces modeling and analysis of discrete event dynamical systems. Covers elements of discrete mathematics, and focuses on Petri Net Models and their basic properties: locality and concurrency, condition and event systems, place and transition nets, Colored Petri Nets, reachability graphs (occurrence nets), and invariant analysis. Includes issues in Petri Nets and temporal logic; stochastic Petri Nets; relation to other discrete event models of dynamical systems; and applications of the theory to modeling and simulation and systems engineering problems, especially in systems architecting.

Prerequisites
ECE 521, or SYST 611 or permission of instructor.

Hours of Lecture or Seminar per week
3
Hours of Lab or Studio per week
0