National University of Sciences and Technology
Home | Back
CSE-870 Petri-Nets
Campus RCMS
Programs PG
Session Spring Semester 2017
Course Title Petri-Nets
Course Code CSE-870
Credit Hours 3-0
Pre-Requisutes
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
Text/Ref Books
  • Discrete, Continuous, and Hybrid Petri Nets By René David, HassaneAlla
Time Schedule Spring Semester 2017
Faculty/Resource Person Dr. Jamil Ahmad
PhD (Ecole Centrale de Nantes, France)
Discipline: Computational System Biology, Model Checking
Specialization: Applied Computer Science & Bio Informatics