Adopts ISO/IEC 15909-1:2004 which specifies and defines a Petri net techniques, including its syntax and semantics. It provides a reference definition that can be used both within and between organisations, to ensure a common understanding of the techniques and of the specifications written using the technique.
Table of contents
Header
Annex A
A.l Sets
A.2 Multisets
A.2.1 Sum Representation
A.2.2 Membership
A.2.3 Empty Multiset
A.2.4 Cardinality and Finite Multiset
A.2.5 Multiset Equality and Comparison
A.2.6 Multiset Operations
A.3 Concepts from Algebraic Specification
A.3.1 Signatures
A.3.2 Boolean Signature
A.3.3 Variables
A.3.4 Terms built from a Signature and Variables
A.3.5 Many-sorted Algebras
A.3.6 Assignment and Evaluation
About this publication
Annex B
B.1 Place/Transition Nets
Preface
Annex C
C.l Introduction
C.2 Definition
Introduction
Annex D
D.1 Introduction
D.2 Net Graphs
D.2.1 Places and Tokens
D.2.2 Transitions
D.2.3 Arcs
D.2.4 The Net Graph
D.3 Transition Conditions
D.4 Net Dynamics
D.5 Flow Control Example
1 Scope
1.1 Purpose
1.2 Field of Application
1.3 Audience
Annex E
2 Terms, Defi nitions, Abbreviations and Symbols
2.1 Glossary
2.2 Abbreviations
Bibliography
3 Conventions and Notation
4 Semantic Model for High-level Petri Nets
4.1 Definition
4.2 Marking of HLPN
4.3 Enabling of Transition Modes
4.3.1 Enabling of a Single Transition Mode
4.3.2 Concurrent Enabling of Transition Modes
4.4 Transition Rule
5 Concepts Required for High-level Petri Net Graphs
5.1 Introduction
5.2 High-level Petri Net Graph Components
5.3 Net Execution
5.3.1 Enabling
5.3.2 Transition Rule for a Single Transition Mode
5.3.3 Step of Concurrently Enabled Transition Modes
5.4 Graphical Concepts and Notation
5.5 Conditionals in Arc Expressions, and Parameters
