Explicit Transformation Modeling

This project is centered around a practical implementation of explicit transformation modeling for traffic to Petri net transformations. We accomplish this by working in close conjunction with AToM3, a tool for multi-paradigm modeling. By applying relaxation, augmentation and modification on both meta-models we obtain a traffic to Petri net transformation meta-model which we will use to compose transformation rules. We then implement a matching algorithm in Python to locate transformation rule patterns in our traffic model. Finally we create a transformation algorithm which will perform left hand side to right hand side traffic to Petri net transformations.