Package | Description |
---|---|
org.processmining.plugins.cpnet |
Modifier and Type | Method and Description |
---|---|
protected org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator |
ColouredPetriNet.checkModel(org.cpntools.accesscpn.model.PetriNet petriNet,
org.processmining.framework.plugin.Progress progress,
Logger logger) |