NUST - PG Courses

CSE-870 PETRI-NETS

Campus	RCMS
Programs	PG
Session	Fall Semester 2016
Course Title	PETRI-NETS
Course Code	CSE-870
Credit Hours	3
Pre-Requisutes	None
Course Objectives	To provide the introduction of Petri Nets as Modeling Approach, To Understand the Mathematical models for Petri Nets & their use for modeling and verification of complex systems.
Detail Content	Bases of Petri Nets Basic Concepts Special Petri Nets Modeling Of Some Concepts Properties of Petri Nets Presentation Of The Main Properties Seeking The Properties Of Petri Nets Non-Autonomous Petri Nets Introduction Synchronized Petri Nets Interpreted Petri Nets Timed Petri Nets Autonomous Continuous and Hybrid Petri Nets Motivation Autonomous Continuous Petri Nets Autonomous Hybrid Petri Nets Properties of Autonomous Continuous and Hybrid Petri Nets Extended Hybrid Petri Nets Timed Continuous Petri Nets Definition of The Model Conflicts Speed Calculation Algorithms Properties Maximal Speeds Functions of Time Timed Hybrid Petri Nets Definition of The Model Algorithm Variants of The Model Extended Timed Hybrid Petri Nets Hybrid Petri Nets with Speed Approximation of Timed Discrete Systems by Vhpns Asymptotic Hybrid Petri Nets (Ahpns) Other Models Course Outcomes The modeling approach of Petri Nets is a widely used approach for complex dynamic systems. Students of different disciplines can use this approach to model and analysis variety of systems, at different levels of abstraction. These systems include complex biological regulatory networks, software systems, communication systems, control systems, production systems and many others.
Text/Ref Books	Discrete, Continuous, and Hybrid Petri Nets By René David, Hassane Alla
Time Schedule
Faculty/Resource Person	Assistant Professor - Dr Jamil Ahmed