CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Aug 18, 2017
P/T Nets - Some Examples

Introduction

We provide here two simple examples to illustrate modelling concurrent systems with P/T nets:

The "Racing Car" Example

This example is extracted from the Book edited by C. Girault and R. Valk. It features a race among a number of cars. When the starter receives ready signs from all cars, he gives the starting signal and the cars begin the race. For simplicity, we restrict the example to one starter and two racing cars.

Suppose that for a computer application (e.g. simulation, race-control) the following essential conditions and actions have been identified:

This system can be modelled by the Petri net shown in the figure below.

CarRace

The "Swimming Pool" Example

In this example, let us consider a Swimming Pool where customers behave in the following way:

This system can be modelled by the Petri net shown in the figure below. We consider here that the swimming pool has 2 cabins, 4 baskets, and as most 6 customers.

SwimmingPool