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

Uploaded Python 3

File details

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

File metadata

  • Download URL: petri_net_core-0.3.6.tar.gz
  • Upload date:
  • Size: 14.5 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.6.tar.gz
Algorithm Hash digest
SHA256 4bc14da7de2af77509328458b70a1bb85277cc1c44cf7a29ba6f76a6599a8a09
MD5 e994bae21fb3708ef19e06b953c7eebb
BLAKE2b-256 4e31d03fb1562f13847b18985bf98cca414b45c2a361b96d7b0aee5075dddaf9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: petri_net_core-0.3.6-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.6-py3-none-any.whl
Algorithm Hash digest
SHA256 e977315baf3026e592cb56e95805a9f1ac1c9041c83362b52ad543f1955fe7fb
MD5 20380c5764475c2b7e0f7ff3192f76dd
BLAKE2b-256 c4e60194e86f44444fb2a567f82200fc79142fac48709da5245242c508734693

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