Module pnets::timed

Network with time support

Represent a Petri net with time support and extra arc kind such as arc::Kind::Test.

Re-exports

pub use time_range::Bound;

pub use time_range::TimeRange;

Modules

time_range

Time range for timed Petri nets

Structs

Net

Timed Petri net, with produce, consume, condition and inhibitors arcs

Place

Representation of a timed place

Transition

Represent a transition in the network