This reposititory contains a rust librairy that defines Petrinets and there basic inner working with P-invariants as a method of proof.
This is an unfinished project created in the context of a research project of Arm Ethan at the university of Geneva.
This librairy is still in developpement but can be integrated to your project via the cargo command tool, as any other librairie.
You can generate the documentation and open it via the cargo command tool with cargo doc --open.
The author is Arm Ethan a student at the university of Geneva and can be contacted at the email address: Ethan.Arm@etu.unige.ch .