pnets 0.1.3

A framework for Petri net manipulation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Network with time support
//!
//! Represent a Petri net with time support and extra arc kind such as [`arc::Kind::Test`][`crate::arc::Kind::Test`].

pub use net::Net;
pub use place::Place;
pub use time_range::{Bound, TimeRange};
pub use transition::Transition;

mod net;
mod place;
pub mod time_range;
mod transition;