Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .

Introduction
1.1 Purpose
1.2 Field of Application
1.3 Audience
3 Terms, Deﬁnitions, Abbreviations and Symbols
3.1 Glossary
3.2 Abbreviations
5 Semantic Model for High-level Petri Nets
5.1 Deﬁnition
5.2 Marking of HLPN
5.3 Enabling of Transition Modes
5.3.1 Enabling of a Single Transition Mode
5.3.2 Concurrent Enabling of Transition Modes
5.4 Transition Rule
6 Concepts Required for High-level Petri Net Graphs
6.1 Introduction
6.2 High-level Petri Net Graph Components
6.3 Net Execution
6.3.1 Enabling
6.3.2 Transition Rule for a Single Transition Mode
6.3.3 Step of Concurrently Enabled Transition Modes
6.4 Graphical Concepts and Notation
6.5 Conditionals in Arc Expressions, and Parameters
7 Deﬁnition of High-level Petri Net Graphs
7.1 Introduction
7.2 Deﬁnition
7.3 Marking
7.4 Enabling
7.5 Transition Rule
8.1 General
8.2 Places
8.3 Transitions
8.4 Arcs
8.5 Markings and Tokens
10.1 PN Conformance
10.1.1 Level 1
10.1.2 Level 2
10.2 HLPN Conformance
10.2.1 Level 1
10.2.2 Level 2
A.1 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 Speciﬁcation
A.3.1 Signatures
A.3.2 Variables
A.3.3 Boolean Signatures
A.3.4 Terms built from a Signature and Variables
A.3.5 Many-sorted Algebras
A.3.6 Assignment and Evaluation
B.1 Place/Transition nets
C.1 Introduction
C.2 Deﬁnition
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
Bibliography
0 of .
Results for:
P. 1
High Level Petri

# High Level Petri

Ratings:
(0)
|Views: 10|Likes:

See more
See less

11/05/2011

pdf

text

original