Versys
Versys is a light-weight Petri net editor and simulator designed for school environments. Compared to many other Petri net tools, its feature set and user interface are intentionally reduced. Versys supports colored tokens (up to eight colors), constant arc weights and variable arc weights (up to four variables with factors, no arbitrary expressions). Furthermore, Versys allows for manual and automated simulations. Written in Java, it aims to be as platform-independent and portable as possible.
Versys requires a Java Runtime Environment (version 1.6 or above).
Software Resources
The following resources are licensed under the GPLv3.
Source Code: https://repo.cses.informatik.hu-berlin.de/gitlab/Versys/versys/tree/master.
Executable: download executable.
Developers
Images
