Simulation of Place Transition Petri Nets in AtomPM

Maris Jukss

Simulation of Place Transition Petri Nets in AtomPM

2

Outline

Motivation Introduction Implementation and Results Related work Conclusions and Future Work Demonstration

Simulation of Place Transition Petri Nets in AtomPM

3

Motivation

AtomPM tool provides basic formalisms [1] Petri Net [6] simulation Petri Net reachability graph PNML [3] export

Simulation of Place Transition Petri Nets in AtomPM

4

Introduction - Petri Nets

Place transition net

PN = (P, T, A, w, M0) P = {p1, p2, . . .} is a finite set of places T = {t1, t2, . . .} is a finite set of transitions A (P × T) (T × P) is a set of arcs⊆ ∪ w : A → N is a weight function M0 initial marking M = [m(p1), m(p2), . . . , m(pn)] – state of a

Petri Net

Simulation of Place Transition Petri Nets in AtomPM

5

Introduction - Petri Nets

Initial marking M0 = {P1-1,P2-1,P3-0} T1 is enabled and can fire

Simulation of Place Transition Petri Nets in AtomPM

6

Introduction - Petri Nets

New marking M` = {P1-0,P2-0,P3-1}

Simulation of Place Transition Petri Nets in AtomPM

7

Introduction - AtomPM

Simulation of Place Transition Petri Nets in AtomPM

8

Introduction - AtomPM

Meta-modeling tool Design your own DSL Model transformations

Simulation of Place Transition Petri Nets in AtomPM

9

Introduction - AtomPM

AtomPM Petri Net meta model

Simulation of Place Transition Petri Nets in AtomPM

10

Introduction - AtomPM

AtomPM Petri Net model

Simulation of Place Transition Petri Nets in AtomPM

11

Introduction – Work Done

Place transition Petri Net simulation Reachability graph

Generation and plotting (bounded only) Export to PNML format

Simulation of Place Transition Petri Nets in AtomPM

12

Implementation

Model transformation to simulate Petri Net

Simulation of Place Transition Petri Nets in AtomPM

13

Implementation

Example transformation rule

Simulation of Place Transition Petri Nets in AtomPM

14

Implementation

Action code

Simulation of Place Transition Petri Nets in AtomPM

15

Implementation

AtomPM toolbar

Simulation of Place Transition Petri Nets in AtomPM

16

Implementation

Reachability graph generation and plotting Petri Net example from [2] Straightforward algorithm Use Petri Net matrix representations Python implementation Graphviz

Simulation of Place Transition Petri Nets in AtomPM

17

Implementation

Simulation of Place Transition Petri Nets in AtomPM

18

Results

Simulation of Place Transition Petri Nets in AtomPM

19

Results

Reachability graph generation (no plotting)

Simulation of Place Transition Petri Nets in AtomPM

20

Implementation

PNML export Javascript server side implementation Saves the file with .pnml prefix Tested with PNMLview [5]

Simulation of Place Transition Petri Nets in AtomPM

21

Implementation

Simulation of Place Transition Petri Nets in AtomPM

22

Results

Simulation of Place Transition Petri Nets in AtomPM

23

Related Work

PIPE tool [5] Reachability graph generation Simulation Java implementation

Simulation of Place Transition Petri Nets in AtomPM

24

Conclusions and Future Work

Conclusion Added additional functionality to AtomPM Tight integration

Future Work Import PNML Concrete syntax style manipulation

Simulation of Place Transition Petri Nets in AtomPM

25

Demonstration

Questions so far?

Reachability Analysis of Modular Petri Nets

26

References

[1] - Rapahael, M., Apr 2012. Atompm tool.URLhttp://msdl.cs.mcgill.ca/people/raphael/files/usersmanual.pdf

[2] - Søren Christensen, Laure Petrucci: Modular Analysis of Petri Nets. Comput. J. 43(3): 224-242 (2000)

[3] - Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O.,Petrucci, L., Post, R., Stehno, C., Weber, M., Jun. 2003. The Petri Net Markup Language: Concepts, Technology, and Tools. In: Applications and Theory of Petri Nets 2003: 24th International Conference. Eindhoven, The Netherlands, pp. 1023-1024. URL http://www.springerlink.com/content/rp1dqtlmqr5q665b

[4] - Bonet, P., Llado, C., Puijaner, R., Knottenbelt, W., Oct. 2007. Pipe v2.5.: a petri net tool for performance modelling. In: 23rd Latin American Con-ference on Informatics.

[5] - Freek, W., Apr 2012. Pnmlview tool URL http://www.vanwal.nl/pnmlview/

Reachability Analysis of Modular Petri Nets

27

References

[6] - Petri, C. A., 1973. Concepts of net theory. In: MFCS. Mathematical Institute

of the Slovak Academy of Sciences, pp. 137{146.