CSE6703

---

Petri Net Theory and Modeling of Systems

3 Credit Hour Course

Intended For Level 0 Term 0 Students

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).