SCPN Control¶

SCPN Control is a standalone neuro-symbolic control engine that compiles stochastic Petri nets into spiking neural network controllers with formal contract checks.

SCPN Control Header

Visual overview¶

SCPN Control Logic Map SCPN Control Logic Map (compact)

What is in this repository¶

Python package: src/scpn_control/
Rust workspace: scpn-control-rs/
Tutorial notebooks: examples/
Validation and benchmark assets: validation/, tests/, tools/

Quick start¶

pip install scpn-control                        # core (numpy, scipy, click)
pip install "scpn-control[dashboard,ws]"        # + Streamlit + WebSocket
scpn-control demo --steps 1000
scpn-control benchmark --n-bench 5000
scpn-control validate

Build and verification baseline¶

Use this baseline before release:

# Python
PYTEST_DISABLE_PLUGIN_AUTOLOAD=1 pytest -p hypothesis.extra.pytestplugin tests/ -q

# Rust workspace
cd scpn-control-rs
cargo build --workspace
cargo clippy --workspace -- -D warnings
cargo test --workspace

For notebook execution, see Tutorials. For parity and CI checks, see Validation and QA. For performance methodology, see Benchmarks.