pnets_shrunk 0.1.0

A reducer for petri nets
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#![forbid(missing_docs)]
//! Provides an API to reduce Petri nets
//!
//! # Modifications
//!
//! This module exposes all modifications that can be done on the network
//!
//! # Reducers
//!
//! This module exposes a complete API to create custom reduction and use existing ones.

pub mod modifications;
pub mod reducers;