public class JanusModelCheckerAlgorithm
extends java.lang.Object
Constructor and Description |
---|
JanusModelCheckerAlgorithm() |
Modifier and Type | Method and Description |
---|---|
minerful.reactive.checking.MegaMatrixMonster |
insiderJarParametric(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog inputLog,
minerful.concept.ProcessModel model)
Launch Janus model checker importing its Jar and using its functions
|
public minerful.reactive.checking.MegaMatrixMonster insiderJarParametric(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog inputLog, minerful.concept.ProcessModel model)