A Colored Petri Net framework for building coordination-heavy applications, where concurrency, resource contention, and multi-step workflows are specified declaratively as net structure rather than imperative code.
Concepts
- Places & Tokens — where state lives
- Transitions — how state moves
- Bindings — how transitions select tokens
- Guards — conditions on firing
- Complex Nets — coordination at scale
Explore
- Interactive Visualizations — watch real CPN Reactors running in your browser