Simulation of Place Transition Petri Nets in AtomPM




AtomPM, next generation of model transformation tools, sibling of Atom3 provides convenient, distributed way for model transformations and domain specific language engineering. One of the formalisms included with AtomPM is Petri Net modeling language for simple place transition nets. AtomPM does not provide the operational semantics for Petri Nets as a built-in feature. In the context of this project model transformation scheme was developed to execute Petri Nets constructed inside AtomPM. In addition, reachability graph generation was introduced along with the feature to export Petri Net to PNML.