Module standard

All reductions appliable to standard network

Structs

• IdentityPlaceReducer
  Removes identity places, which has a constant value
• IdentityTransitionReducer
  Removes identity transitions, which doesn’t have an effect on the network
• ParallelPlaceReducer
  Removes redundant places which have the same producers and consumers
• ParallelTransitionReducer
  Removes redundant transitions which have the same producers and consumers
• PseudoStart
  Reduction for Election2020 net
• R7Reducer
  Removes the pattern “pl -> tr” from the network (pl and tr don’t has other connection)
• RLReducer
  RL Reducer
• SimpleChainReducer
  Remove simple chains from the network and replace them by a unique place
• SimpleLoopAgglomeration
  Remove simple loopd from the network and replace them by a unique place
• WeightSimplification
  Replaces a place that has an initial marking equal to all the weights of the related arcs

Type Aliases

• ParallelSmartReducer
  Alias to Smart reducer which try to remove parallel places and parallel transitions after each modifications