pnets_shrunk 0.1.0

A reducer for petri nets
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
25
26
27
28

//! All reductions appliable to standard network
pub use identity_place_reducer::IdentityPlaceReducer;
pub use identity_transitions_reducer::IdentityTransitionReducer;
pub use parallel_place_reducer::ParallelPlaceReducer;
pub use parallel_transition_reducer::ParallelTransitionReducer;
pub use pseudo_start::PseudoStart;
pub use r7_reducer::R7Reducer;
pub use rl_reducer::RLReducer;
pub use simple_chain_agglomeration::SimpleChainReducer;
pub use simple_loop_agglomeration::SimpleLoopAgglomeration;
pub use weight_simplification::WeightSimplification;

use crate::reducers::SmartReducer;

mod identity_place_reducer;
mod identity_transitions_reducer;
mod parallel_place_reducer;
mod parallel_transition_reducer;
mod pseudo_start;
mod r7_reducer;
mod rl_reducer;
mod simple_chain_agglomeration;
mod simple_loop_agglomeration;
mod weight_simplification;

/// Alias to Smart reducer which try to remove parallel places and parallel transitions after each modifications
pub type ParallelSmartReducer<Net, Red> =
    SmartReducer<Net, Red, ParallelPlaceReducer, ParallelTransitionReducer>;