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.
Our customer was Prof. Dr. Jetty Kleijn, a professor at LIACS. She teaches the course Theory of Concurrency.
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.
C++
Git
GTK
WinAPI
Bash/Make (build system)
NSIS (Windows installers)
Latex