henriquebastos / CarlAdam

Petri net modeling and simulation for Python using immutable data structures

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CarlAdam: A Petri net library and simulator for Python

What is a Petri net?

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.

What is CarlAdam?

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.

Getting started

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.

Sponsors

Initial work on the CarlAdam package was sponsored by Routable.

About

Petri net modeling and simulation for Python using immutable data structures


Languages

Language:Python 95.7%Language:HTML 4.0%Language:Makefile 0.3%Language:Dockerfile 0.1%