![Page 1: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/1.jpg)
Simulation of Place Transition Petri Nets in AtomPM
Maris Jukss
![Page 2: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/2.jpg)
Simulation of Place Transition Petri Nets in AtomPM
2
Outline
Motivation Introduction Implementation and Results Related work Conclusions and Future Work Demonstration
![Page 3: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/3.jpg)
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
![Page 4: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/4.jpg)
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
![Page 5: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/5.jpg)
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
![Page 6: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/6.jpg)
Simulation of Place Transition Petri Nets in AtomPM
6
Introduction - Petri Nets
New marking M` = {P1-0,P2-0,P3-1}
![Page 7: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/7.jpg)
Simulation of Place Transition Petri Nets in AtomPM
7
Introduction - AtomPM
![Page 8: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/8.jpg)
Simulation of Place Transition Petri Nets in AtomPM
8
Introduction - AtomPM
Meta-modeling tool Design your own DSL Model transformations
![Page 9: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/9.jpg)
Simulation of Place Transition Petri Nets in AtomPM
9
Introduction - AtomPM
AtomPM Petri Net meta model
![Page 10: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/10.jpg)
Simulation of Place Transition Petri Nets in AtomPM
10
Introduction - AtomPM
AtomPM Petri Net model
![Page 11: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/11.jpg)
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
![Page 12: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/12.jpg)
Simulation of Place Transition Petri Nets in AtomPM
12
Implementation
Model transformation to simulate Petri Net
![Page 13: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/13.jpg)
Simulation of Place Transition Petri Nets in AtomPM
13
Implementation
Example transformation rule
![Page 14: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/14.jpg)
Simulation of Place Transition Petri Nets in AtomPM
14
Implementation
Action code
![Page 15: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/15.jpg)
Simulation of Place Transition Petri Nets in AtomPM
15
Implementation
AtomPM toolbar
![Page 16: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/16.jpg)
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
![Page 17: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/17.jpg)
Simulation of Place Transition Petri Nets in AtomPM
17
Implementation
![Page 18: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/18.jpg)
Simulation of Place Transition Petri Nets in AtomPM
18
Results
![Page 19: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/19.jpg)
Simulation of Place Transition Petri Nets in AtomPM
19
Results
Reachability graph generation (no plotting)
![Page 20: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/20.jpg)
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]
![Page 21: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/21.jpg)
Simulation of Place Transition Petri Nets in AtomPM
21
Implementation
![Page 22: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/22.jpg)
Simulation of Place Transition Petri Nets in AtomPM
22
Results
![Page 23: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/23.jpg)
Simulation of Place Transition Petri Nets in AtomPM
23
Related Work
PIPE tool [5] Reachability graph generation Simulation Java implementation
![Page 24: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/24.jpg)
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
![Page 25: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/25.jpg)
Simulation of Place Transition Petri Nets in AtomPM
25
Demonstration
Questions so far?
![Page 26: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/26.jpg)
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/
![Page 27: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.us/reader036/viewer/2022062518/5681464e550346895db35eb6/html5/thumbnails/27.jpg)
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.