Petri net editor

The project

Our program allows one to make, simulate and analyze Petri nets, a formal model for capturing parallelism in computations. The resulting nets can be exported to png and pdf.
The program is cross platform and runs on Windows, Linux, and MacOS. This is required for its use in the course Theory of Concurrency taught by Prof. Dr. Kleijn.

The customer

Our customer was Prof. Dr. Jetty Kleijn, a professor at LIACS. She teaches the course Theory of Concurrency.

The team

Our team consisted of four Computer Science (CS) bachelor students, and two Mathematics and CS students. The math expertise came in handy for understanding the Petri net formalism and analysis algorithms.

The technologies

Bash/Make (build system)
NSIS (Windows installers)