pl.mimuw.wfnetreduction.algorithms
Classes
AndOrReductionAlgorithm
ContractionLog
LazyIterator
PetrinetHelper