Package org.processmining.hybrid.models.markedprocesstree

Class Summary

Class	Description
MarkedProcessTree	Assumption, we cannot have redundant taus, e.g., a sequence with a tau child