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
andTransitionId
- a type for indexing places and transitions in networks.