Crate pnets

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

Modules

arc

Arcs which are supported by this framework

io

All traits related to parsing and writing of a network

standard

Standard petri network

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 network