Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this

Table Of Contents

1.1 Purpose
1.2 Field of Application
1.3 Audience
3 Terms, Definitions, Abbreviations and Symbols
3.1 Glossary
3.2 Abbreviations
5 Semantic Model for High-level Petri Nets
5.1 Definition
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 Definition of High-level Petri Net Graphs
7.1 Introduction
7.2 Definition
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 Specification
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 Definition
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
0 of .
Results for:
No results containing your search query
P. 1
High Level Petri

High Level Petri

Ratings: (0)|Views: 10 |Likes:
Published by Subhashini Umapathi

More info:

Published by: Subhashini Umapathi on Nov 01, 2010
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





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

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->