Crate pnets_shrunk 

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.

Modules

modifications

All modifications supported by this crate

reducers

All reducers supported by this crate