The goal of this project is to model the structure and behaviour of a Petri net in VDM++.
A Petri net is mathematical modelling language for the description of distributed systems. It is typically represented by a graphical notation for stepwise processes that include choice, iteration and cocurrent execution.
In order to build the executable formal model, the model-oriented specification language from the Vienna Development Method (VDM++) was used, as well as the Overture Tool for development.
Further info: report (pdf)
- Duarte Duarte - ei11101
- Ruben Cordeiro - ei11097
UML class diagram