SCPN Control: Neuro-Symbolic Stochastic Petri Net Controller for Plasma Control

Read full text
Authors: Miroslav Sotek, Michal Reiprich
Cited by: 0
References: 31

Abstract

Standalone neuro-symbolic control engine that compiles Stochastic Petri Nets into spiking neural network controllers with formal verification guarantees. 48 Python modules, 5 Rust │ │ │ crates, 701 tests, 11.9 µs P50 control loop.

Fields of Study & Subjects

Magnetic confinement fusion research Fusion and Plasma Physics Studies Petri Nets in System Modeling

Publication details

Publication date
27 February 2026
Language
EN