A Study of Petri Nets: Modeling, Analysis and Simulation - Tamu.edu

Contents
Page No.
Certificate
Acknowledgement
Chapter 0
Motivation
Chapter 1 Introduction 1
Chapter 2
Basic Concepts and Definitions
2.1 Informal Introduction to Petri Nets 2
2.2 Formal Introduction to Petri Nets
2.2.1 Definition of Petri Net 3
2.2.2 Alternative definition of Petri Net 4
2.2.3 Definition of Ordinary Petri Net 4
2.2.4 Definition of Marked Petri Net 5
2.2.5 Definition of Pure Petri Net 5
2.2.6 Definition of Finite and Infinite Capacity Petri Net 5
2.2.7 Firing Rule 6
Chapter 3
Modeling with Petri Nets
3.1 Petri Nets as Modeling Formalism 8
3.2 Basic Modeling Constructs
3.2.1 Sequential execution 8
2.2.2 Synchronization 9
2.2.3 Conflict 9
2.2.4 Concurrency 9
2.2.5 Confusion 10
3.3 Primitives for Programming Constructs
3.3.1 Selection (if – else) 11
3.3.2 Case (Switch) statement 11
3.3.3 While loop 12
3.3.4 Repeat (for) loop 12
3.3.5 Precedence 12
3.3.6 Timed occurrence 12
3.3.7 Either – or (Mutual exclusion) 13
Chapter 4
Sub-structures of Petri Nets
4.1 Importance of sub-structures 14
4.2 Sub-structures of Petri nets
4.2.1 Source and sink 14
4.2.2 Directed path (DP) 15