Crate pnets

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.

Modules

• arc
  Arcs which are supported by this framework
• standard
  Standard Petri net
• timed
  Network with time support

Structs

• Marking
  Hollow usize vector sorted with generic indices
• PlaceId
  Represent a place identifier in the network
• TransitionId
  Represent a transition identifier in the network

Enums

• NetError
  Errors generated when manipulating a Petri net
• NodeId
  Represent an id in the network