Presentation is loading. Please wait.

Presentation is loading. Please wait.

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Similar presentations


Presentation on theme: "Petri nets refresher Prof.dr.ir. Wil van der Aalst"— Presentation transcript:

1 Petri nets refresher Prof.dr.ir. Wil van der Aalst
Eindhoven University of Technology, Faculty of Technology Management, Department of Information and Technology, P.O.Box 513, NL-5600 MB, Eindhoven, The Netherlands.

2 Elements

3 Modeling problem

4 Modeling problem (1): Zero testing
Transition t should fire if place p is empty. ? t p

5 Initially there are N tokens
Solution Only works if place is N-bounded t Initially there are N tokens N input and output arcs p’ p

6 Modeling problem (2): Priority
Transition t1 has priority over t2 t1 ? t2 Hint: similar to Zero testing!

7

8 A bit of theory Extensions have been proposed to tackle these problems, e.g., inhibitor arcs. These extensions extend the modeling power (Turing completeness*). Without such an extension not Turing complete. Still certain questions are difficult/expensive to answer or even undecidable (e.g., equivalence of two nets). * Turing completeness corresponds to the ability to execute any computation.

9 High level Petri nets Extending classical Petri nets with color, time and hierarchy (informal introduction)

10 Limitations of classical Petri nets
Inability to test for zero tokens in a place. Models tend to become large. Models cannot reflect temporal aspects No support for structuring large models, cf. top-down and bottom-up design

11 Inability to test for zero tokens in a place
? t p “Tricks” only work if p is bounded

12 Models tend to become (too) large
Size linear in the number of products.

13 Models tend to become (too) large (2)
Size linear in the number of tracks.

14 Models cannot reflect temporal aspects
Duration of each phase is highly relevant.

15 No support for structuring large models

16 High-level Petri nets To tackle the problems identified.
Petri nets extended with: Color (i.e., data) Time Hierarchy For the time being be do not choose a concrete language but focus on the main concepts. Later we focus on a concrete language: CPN. These concepts are supported by many variants of CPN including ExSpect, CPN AMI, etc.

17 Running example: Making punch cards
free desk employees waiting patients served patients patient/ employees

18

19

20

21

22 Extension with color (1)
Tokens have a color (i.e., a data value)

23 Extension with color (2)
Places are typed (also referred to as color set). record Brand:string * RegistrationNo:string * Year:int * Color:string * Owner:string

24 Extension with color (3)
The relation between production and consumption needs to be specified, i.e., the value of a produced token needs to be related to the values of consumed tokens. The value of the token produced for place sum is the sum of the values of the consumed tokens.

25 Running example: Tokens are colored

26 Running example: Places are typed

27 Running example: Initial state
start is enabled

28 Running example: Transition start fired
New value is created by simply merging the two records. stop is enabled

29 Running example: Transition stop fired
New values are created by simply spliting the record into two parts.


Download ppt "Petri nets refresher Prof.dr.ir. Wil van der Aalst"

Similar presentations


Ads by Google