Benoit-Philippe Fornoville   
Master Student
Modelling, Simulation and Design Lab
Department of Mathematics and Computer Science
University of Antwerp
Middelheimlaan 1
Belgium 2020

I'm a student at the University of Antwerp at the faculty of exact sciences. I am currently doing a masters degree in computer science with the data science specialization. I do my master thesis with the Modelling, Simulation and Design Lab and prof. Hans Vangheluwe as promoter.

The subject of my master thesis is Petri net analysis.
Petri Net, is a widely used modelling language. It was introduced by Carl Adam Petri ’ s dissociation in 1962. Petri Nets can represent the non-deterministic behaviour of discrete concurrent systems. The language owes its popularity to three strong features. Firstly, Petri Nets have a strong mathematical foundation, which makes it suitable for advanced analysis. Secondly, nets have a simple graphical representation. And lastly, place-transition nets can be extended with several features such as time and modularity. Petri Nets are used for modelling and analysis in various industries, such as communication protocols, manufacturing systems, sequence controllers, software development, multiprocessor systems, communication networks and chemical processes.
In this thesis I will create a tool in python3 for designing and analysing Petri nets. The focus of the analysis lies on the support of the property languages CTL and LTL.

Maintained by Benoît-Philippe Fornoville.