pnets 0.1.0

A framework for petri net manipulation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

# PNETS

**Pnets is a framework for manipulating petri networks**

- [crates.io](https://crates.io/pnets)
- [docs.rs](https://docs.rs/pnets)

---

This crate provides an api for manipulating petri nets. Two main structures are provided by this library:

- [`standard::Net`](https://docs.rs/pnets/latest/standard/struct.Net.html) - which allows to manipulate classical petri
  nets;
- [`timed::Net`](https://docs.rs/pnets/latest/timed/struct.Net.html) - which allows the manipulation of temporal petri
  nets.

In order to easily manipulate these nets this api provides the following elements:

- [`arc::Kind`](https://docs.rs/pnets/latest/arc/enum.Kind.html) - an enum of the different types of arcs that exist in
  a petri net;
- [`Marking`](https://docs.rs/pnets/latest/struct.Marking.html) - a structure for manipulating hollow vectors;
- [`PlaceId`](https://docs.rs/pnets/latest/struct.PlaceId.html)
  and [`TransitionId`](https://docs.rs/pnets/latest/struct.TransitionId.html) - a type for indexing places and
  transitions in networks.