org.processmining.performancespectrumintegration.algorithms.petrinet
Classes
AdjPlaces
ExtendedMarking
GraphTools
GraphTools.Quadruple