@@ -10,6 +10,8 @@ Since 2016, the current version of Simuleau has been under development. The goal
Simuleau is a tool written in C++ that runs on Linux systems. It enables the modeling and simulation of systems described using Petri Net (PN) formalism, specifically focusing on different classes of Batch Petri Nets (BPN) models. The goal of Simuleau is to provide an academic tool for modeling and simulating BPNs.
Currently, Simuleau is compatible only with Linux systems that have the GLPK library installed.
## Interface
To make the tool user-friendly, we have incorporated a textual menu interface that displays different options to the user. The main menu of Simuleau includes in option "1", which enables the user to compile the input file and verify the model using Simuleau.
