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

Behaviour of Petri nets
Example: Dining philosophers
Dining philosophers: Questions
Example: Reliable connection on a lossy channel
Alternating bit protocol
Alternating Bit protocol: Questions
Alternating bit protocol: state space
Constructing the state space (idea)
Place/Transition Nets
Place/Transition Net
P/T nets: Remarks
Alternative definitions
Notation for markings
The firing rule revisited
Reachable markings
Reachability Graph
Computing the reachability graph
The size of the reachability graph
Use of reachability graphs
Recap from last Session
Programme
Example: A logical puzzle
Example: Modeling
Result
Coverability Graph Method
ω-Markings
Firing Rule and ω-markings
Definition of Covering
Coverability and Transition Sequences (1/2)
Coverability and Transition Sequences (2/2)
Coverability Graph Algorithm (1/2)
Coverability Graph Algorithm (2/2)
Termination of the Coverability Graph Algorithm (1/2)
Termination of the Coverability Graph Algorithm (2/2)
Remarks on the Coverability Graph Algorithm
Example 2
Example 2: Coverability graph
Reachability and coverability graphs: Comparison (1)
Reachability and coverability graphs: Comparison (2)
Summary: Which properties can we check so far?
What is missing? (Outlook)
Structural Analysis: Motivation
Incidence Matrix: Definition
Markings as vectors
Caveat
Invariants
Properties of P-invariants
More remarks on P-invariants
Algorithms for P-invariants
Farkas Algorithm
An example
An example with many P-invariants
Example 3
Traps
0 of .
Results for:
No results containing your search query
P. 1
Pn-ESTII

Pn-ESTII

Ratings: (0)|Views: 16|Likes:
Published by Dinesh Shan

More info:

Published by: Dinesh Shan on Aug 24, 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

10/30/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 41 are not shown in this preview.
You're Reading a Free Preview
Pages 45 to 87 are not shown in this preview.
You're Reading a Free Preview
Pages 91 to 96 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)//-->