Crate pnets[−][src]
Expand description
PNETS
Pnets is a framework for manipulating petri networks
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 nets;timed::Net
- which allows the manipulation of temporal petri nets.
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
andTransitionId
- a type for indexing places and transitions in networks.
Modules
Arcs which are supported by this framework
All traits related to parsing and writing of a network
Standard petri network
Network with time support
Structs
Hollow usize vector sorted with generic indices
Represent a place identifier in the network
Represent a transition identifier in the network
Enums
Errors generated when manipulating a petri network