pnets 0.1.3

A framework for Petri net manipulation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#![forbid(missing_docs)]

//! # PNETS
//! Pnets is a framework for manipulating Petri nets
//!
//!
//! This crate provides an api for manipulating Petri nets.
//! Two main structures are provided by this library:
//! - [`standard::Net`] - which allows to manipulate classical Petri net;
//! - [`timed::Net`] - which allows the manipulation of temporal Petri net.
//!
//! In order to easily manipulate these nets this api provides the following elements:
//! - [`arc::Kind`] - an enum of the different types of arcs that exist in a Petri net;
//! - [`Marking`] - a structure for manipulating hollow vectors;
//! - [`PlaceId`] and [`TransitionId`] - a type for indexing places and transitions in networks.
//!
pub use errors::NetError;
pub use marking::Marking;
pub use net::{NodeId, PlaceId, TransitionId};

pub mod arc;
mod errors;
mod marking;
mod net;
pub mod standard;
pub mod timed;