Petri nets are a mathematical modeling scheme for the description of distributed systems.
Petri nets were invented in 1962 by Carl Adam Petri. They have been used to model various kinds of systems, including computer networks, manufacturing systems, and biological systems.
CarlAdam
is a Python library for working with Petri nets, named after their inventor.
It provides a simple, Python-oriented API for defining and executing Petri nets.
It is also a simulator for Petri nets, so you can run your Petri net models and see how they behave.
Check out the examples using the simulator:
poetry install --with=simulator
make simulator
Or use Docker:
docker compose up
Then browse to http://localhost:8000 to see the simulator in action.
Initial work on the CarlAdam package was sponsored by Routable.