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.5.tar.gz (14.4 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.5-py3-none-any.whl (14.3 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: petri_net_core-0.3.5.tar.gz
  • Upload date:
  • Size: 14.4 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.5.tar.gz
Algorithm Hash digest
SHA256 a726525dcbf855018243ba7ab6dabfbc295a45025bdc7fb76f8e4cf94121d823
MD5 3cb9efbaebc7871abcc8422a54c38652
BLAKE2b-256 4d753909c6dd8143dcea9d659295791e582955f8d2560b8956dadd2eff5e1d83

See more details on using hashes here.

File details

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

File metadata

  • Download URL: petri_net_core-0.3.5-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.5-py3-none-any.whl
Algorithm Hash digest
SHA256 a54930cf9c13fb3e3126bccab93717080c2c3a5983c0d8431a5a9b59b3973771
MD5 480ff12733a6ad2875a70262e0e94054
BLAKE2b-256 8070e2c0b289d9ec60fc6e9a9c269b7937617e352fb7402e94df9c420fdb3fc9

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