An Introduction to Petri nets and how to analyse them - ULB

341 Pages·2007·3.67 MB·English

An Introduction to Petri nets
and how to analyse them...
G. Geeraerts
Groupe de Vérification - Département d’Informatique
Université Libre de Bruxelles
1
Introduction
2
Introduction
•
Concurrency: property of a “system” in which
many “entities” act at the same time and
interact.
•
Often found in many application:
•
Computer science (e.g.: parallel computing)
•
Workflow
•
Manufacturing systems
•
....
3
Introduction
Concurrency
4
Introduction
Concurrency
Work in parallel
4
Introduction
Concurrency
Must wait for the
two other machines
Work in parallel
4
Introduction
Concurrency
Can write or
read on the DB
Can write or
read on the DB
5
Introduction
Concurrency
Boss
6
Introduction
Concurrency
Boss
6
Introduction
Concurrency
Boss
Employees: work in parallel
6