Expand description
A Colored Petri Net library.
Modules§
- arc
- Arc connecting places and transitions
- dump_
dot - Functionality related to representing nets as DOT graphs.
- error
- Defines an error type returned as the
Errvariant from mostResultsused in this crate. - expression
- Arc expressions
- globals
- Support for adding definitions to global Python state
- macros
- Convenience macros.
- marking
- The marking of a net maps its places to a collection of tokens.
- net
- Main module defining a Colored Petri Net.
- place
- A place in a CPN.
- prelude
- Commonly used imports for working with cpn-rs.
- state_
graph - State space analysis.
- token
- Functionality related to tokens.
- transition
- A transition in a CPN.
Macros§
- arc
- Shorthand to construct an
ArcSpec. This exists mostly just to be used by thearcs!macro. - arcs
- Shorthand to construct an iterable of
ArcSpecs. - expression
- Shorthand to create an
Expression. - token
- Shorthand to create a token from the provided string.
- transition
- Shorthand to construct a
Transition.