Modules
Place/transition Petri nets for the BEAM, with analysis as the primary product.
Analysis of a net's skeleton.
A Karp–Miller coverability tree, as built by
Petrex.Analysis.coverability/3.
An explicit reachability graph, as built by Petrex.Analysis.reachability/3.
A weighted arc between a place and a transition.
Raised by the boolean analysis functions (Petrex.Analysis.bounded?/3,
Petrex.Analysis.safe?/3) when the exploration limit was reached before
the property was decided. A boolean cannot express "unknown", so they
raise rather than answer; the tuple-returning counterparts report the same
situation as {:partial, result}.
Raised when a function that requires a well-formed net receives one that
fails Petrex.Net.validate/1. errors holds the validation errors.
Markings in their two representations.
A place/transition net with an initial token marking.
PNML (ISO/IEC 15909-2) interchange for place/transition nets.
A place of a Petri net.
Runs one net instance in a GenServer.
A transition of a Petri net.