Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See 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.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:

Published by: Subhashini Umapathi on Nov 01, 2010

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
See more
See less

11/05/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 24 are not shown in this preview.
You're Reading a Free Preview
Pages 26 to 43 are not shown in this preview.

Activity (1)

You've already reviewed this. Edit your review.