Simulation of Place Transition Petri Nets in AtomPM Maris Jukss

Outline

 Motivation  Introduction  Implementation and Results  Related work  Conclusions and Future Work  Demonstration Simulation of Place Transition Petri Nets in AtomPM 2

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 3

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 4

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 5

Introduction - Petri Nets

 New marking M` = {P1-0,P2-0,P3-1} Simulation of Place Transition Petri Nets in AtomPM 6

Introduction - AtomPM

Simulation of Place Transition Petri Nets in AtomPM 7

Introduction - AtomPM

 Meta-modeling tool  Design your own DSL  Model transformations Simulation of Place Transition Petri Nets in AtomPM 8

Introduction - AtomPM

 AtomPM Petri Net meta model Simulation of Place Transition Petri Nets in AtomPM 9

Introduction - AtomPM

 AtomPM Petri Net model Simulation of Place Transition Petri Nets in AtomPM 10

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 11

Implementation

 Model transformation to simulate Petri Net Simulation of Place Transition Petri Nets in AtomPM 12

Implementation

 Example transformation rule Simulation of Place Transition Petri Nets in AtomPM 13

 Action code

Implementation

Simulation of Place Transition Petri Nets in AtomPM 14

Implementation

 AtomPM toolbar Simulation of Place Transition Petri Nets in AtomPM 15

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 16

Implementation

Simulation of Place Transition Petri Nets in AtomPM 17

Results

Simulation of Place Transition Petri Nets in AtomPM 18

Results

 Reachability graph generation (no plotting) Simulation of Place Transition Petri Nets in AtomPM 19

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 20

Implementation

Simulation of Place Transition Petri Nets in AtomPM 21

Results

Simulation of Place Transition Petri Nets in AtomPM 22

Related Work

 PIPE tool [5]  Reachability graph generation  Simulation  Java implementation Simulation of Place Transition Petri Nets in AtomPM 23

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 24

Demonstration

Questions so far?

Simulation of Place Transition Petri Nets in AtomPM 25

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 26

References

[6] - Petri, C. A., 1973. Concepts of net theory. In: MFCS. Mathematical Institute of the Slovak Academy of Sciences, pp. 137{146.

Reachability Analysis of Modular Petri Nets 27