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

Table Of Contents

Introduction
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.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
Bibliography
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

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
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.

You're Reading a Free Preview

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