simulation of place transition petri nets in atompm maris jukss
DESCRIPTION
Simulation of Place Transition Petri Nets in AtomPM Maris Jukss. Outline. Motivation Introduction Implementation and Results Related work Conclusions and Future Work Demonstration. Motivation. AtomPM tool provides basic formalisms [1] Petri Net [6] simulation - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Simulation of Place Transition Petri Nets in AtomPM Maris Jukss](https://reader036.vdocuments.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.site/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.