3 releases

0.1.3 Aug 4, 2021
0.1.2 Jul 22, 2021
0.1.1 Jul 22, 2021
0.1.0 Jul 22, 2021

#758 in Math

22 downloads per month
Used in 4 crates

MIT/Apache

46KB
931 lines

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.

Dependencies

~185KB