pnets
| Crates.io | pnets |
| lib.rs | pnets |
| version | 0.1.3 |
| source | src |
| created_at | 2021-07-22 14:48:54.178318 |
| updated_at | 2021-08-04 14:12:01.613834 |
| description | A framework for Petri net manipulation |
| homepage | https://github.com/Fomys/pnets/tree/master/pnets |
| repository | https://github.com/fomys/pnets |
| max_upload_size | |
| id | 425921 |
| size | 48,168 |
Louis Chauvet (Fomys)
documentation
https://docs.rs/pnets/
README
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;PlaceIdandTransitionId- a type for indexing places and transitions in networks.