Skip to main content

Petri net simulation and analysis framework

Project description

Petri Net Core

Core Petri net simulation and analysis framework for modeling discrete event systems.

About

This repository contains the core Petri net functionality for simulation and analysis. It provides:

  • Basic Petri Net Implementation (petrinet/)
  • Object Petri Net Support (object_petrinet/)
  • Validation and Schema Support
  • Testing Framework

Installation

From Source

git clone https://github.com/lhcnetop/petri_net.git
cd petri_net
pip install -e .

Development Installation

pip install -e .[dev]

Usage

from petrinet.pnet import PetriNet
from object_petrinet.opnet import ObjectPetriNet

# Create and use Petri nets

Testing

Run tests with:

# Run all tests
default: python -m unittest discover -p "test_*.py" -v

# Run specific test files
python -m unittest tests/test_pnet.py
python -m unittest tests/test_opnet.py
python -m unittest tests/test_pnet_simulation_helper.py
  • test_pnet.py: Unit tests for the core PNet class
  • test_opnet.py: Unit tests for the Object Petri Net implementation
  • test_pnet_simulation_helper.py: Tests for simulation history export to Parquet using polars

Related Projects

License

Apache-2.0 License

Release & PyPI Publishing

PyPI publishing is now fully automated and only happens when you push a version tag (e.g., v0.2.0) to the repository. This ensures that only intentional releases are published.

How to release a new version:

  1. Bump the version in pyproject.toml.
  2. Commit and push your changes to main.
  3. Create and push a tag matching the new version:
    git tag v0.2.0
    git push origin v0.2.0
    
  4. The GitHub Actions workflow will build and publish the package to PyPI automatically.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

petri_net_core-0.3.7.tar.gz (14.7 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

petri_net_core-0.3.7-py3-none-any.whl (14.3 kB view details)

Uploaded Python 3

File details

Details for the file petri_net_core-0.3.7.tar.gz.

File metadata

  • Download URL: petri_net_core-0.3.7.tar.gz
  • Upload date:
  • Size: 14.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.11.13

File hashes

Hashes for petri_net_core-0.3.7.tar.gz
Algorithm Hash digest
SHA256 118f9dab8b5e3042f1264b29322f606b74925582626e99c712dfcc999015b571
MD5 867c54678971f832406ba6659385f688
BLAKE2b-256 1f86de267bdc2765d539b737643dcf4f6edad7408d570f82ed7ec2372970e14c

See more details on using hashes here.

File details

Details for the file petri_net_core-0.3.7-py3-none-any.whl.

File metadata

  • Download URL: petri_net_core-0.3.7-py3-none-any.whl
  • Upload date:
  • Size: 14.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.11.13

File hashes

Hashes for petri_net_core-0.3.7-py3-none-any.whl
Algorithm Hash digest
SHA256 70d28cd6c2eecb9579ff9cf63fd155984b923ec41cee4e347488a3648e4e6751
MD5 e30fbe8a815777f33bc6c32ef1fd946c
BLAKE2b-256 02372c070b2fdab0fed1477228ac3050e03600abd85a1806e6ef75abb3fda510

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page