This project implements symbolic and algebraic reasoning for analyzing 1-safe Petri nets using Binary Decision Diagrams (BDDs) and Integer Linear Programming (ILP). . ├── requirements.txt # Python ...
SimPN provides a simple syntax that is based on Python functions and variables, making it familiar for people who already know Python. At the same time, it uses the power of and flexibility of Colored ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback