1 / 27

Simulation of Place Transition Petri Nets in AtomPM Maris Jukss

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

nedra
Download Presentation

Simulation of Place Transition Petri Nets in AtomPM Maris Jukss

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Simulation of Place Transition Petri Nets in AtomPM Maris Jukss

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

  3. Simulation of Place Transition Petri Nets in AtomPM Motivation • AtomPM tool provides basic formalisms [1] • Petri Net [6] simulation • Petri Net reachability graph • PNML [3] export

  4. Simulation of Place Transition Petri Nets in AtomPM 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

  5. Simulation of Place Transition Petri Nets in AtomPM Introduction - Petri Nets • Initial marking M0 = {P1-1,P2-1,P3-0} • T1 is enabled and can fire

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

  7. Simulation of Place Transition Petri Nets in AtomPM Introduction - AtomPM

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

  9. Simulation of Place Transition Petri Nets in AtomPM Introduction - AtomPM • AtomPM Petri Net meta model

  10. Simulation of Place Transition Petri Nets in AtomPM Introduction - AtomPM • AtomPM Petri Net model

  11. Simulation of Place Transition Petri Nets in AtomPM Introduction – Work Done • Place transition Petri Net simulation • Reachability graph • Generation and plotting (bounded only) • Export to PNML format

  12. Simulation of Place Transition Petri Nets in AtomPM Implementation • Model transformation to simulate Petri Net

  13. Simulation of Place Transition Petri Nets in AtomPM Implementation • Example transformation rule

  14. Simulation of Place Transition Petri Nets in AtomPM Implementation • Action code

  15. Simulation of Place Transition Petri Nets in AtomPM Implementation • AtomPM toolbar

  16. Simulation of Place Transition Petri Nets in AtomPM Implementation • Reachability graph generation and plotting • Petri Net example from [2] • Straightforward algorithm • Use Petri Net matrix representations • Python implementation • Graphviz

  17. Simulation of Place Transition Petri Nets in AtomPM Implementation

  18. Simulation of Place Transition Petri Nets in AtomPM Results

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

  20. Simulation of Place Transition Petri Nets in AtomPM Implementation • PNML export • Javascript server side implementation • Saves the file with .pnml prefix • Tested with PNMLview [5]

  21. Simulation of Place Transition Petri Nets in AtomPM Implementation

  22. Simulation of Place Transition Petri Nets in AtomPM Results

  23. Simulation of Place Transition Petri Nets in AtomPM Related Work • PIPE tool [5] • Reachability graph generation • Simulation • Java implementation

  24. Simulation of Place Transition Petri Nets in AtomPM Conclusions and Future Work • Conclusion • Added additional functionality to AtomPM • Tight integration • Future Work • Import PNML • Concrete syntax style manipulation

  25. Simulation of Place Transition Petri Nets in AtomPM Demonstration Questions so far?

  26. Reachability Analysis of Modular Petri Nets 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/

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

More Related