Jasper Verelst  Reachability analysis of Petrinets models in AToMPM using model transformations

Abstract
The goal of this project is to do reachability analysis of petri nets using model transformations in AToMPM. An algorithm based on model driven transformations is introduced to create a reachability graph of a given petri net.
Reading
Reading report ImplementationTo use the implementation, extract the compressed folder PetriNetReachability in /Formalisms in AtomPM. The implementation depends on the PN_inhibitor formalism.
implementation 