Course Detail:

CSE6703


Petri Net Theory and Modeling of Systems

3 Credit Hour Course

Prerequisite:

Definition and types of Petri nets, Terms and notations marking, Importance of net theory, Transition firings, Practical modeling examples, Siphons and traps, Live ness and safeness, Behavioral properties, Deadlocks and siphons, Structural properties, Stochastic Petri Net (SPN).