public class ColouredPetriNet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator |
simulator |
Constructor and Description |
---|
ColouredPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet) |
ColouredPetriNet(java.lang.String modelFile,
java.lang.String modelName) |
Modifier and Type | Method and Description |
---|---|
protected org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator |
checkModel(org.cpntools.accesscpn.model.PetriNet petriNet,
org.processmining.framework.plugin.Progress progress,
Logger logger) |
org.processmining.framework.plugin.PluginContext |
getContext() |
org.cpntools.accesscpn.model.PetriNet |
getPetriNet() |
org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator |
getSimulator() |
void |
setContext(org.processmining.framework.plugin.PluginContext context) |
void |
setPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet) |
void |
setSimulator(org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator simulator) |
protected transient org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator simulator
public ColouredPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet)
petriNet
- public ColouredPetriNet(java.lang.String modelFile, java.lang.String modelName)
modelFile
- modelName
- public org.processmining.framework.plugin.PluginContext getContext()
public org.cpntools.accesscpn.model.PetriNet getPetriNet() throws org.cpntools.accesscpn.model.importer.NetCheckException, org.xml.sax.SAXException, java.io.IOException, javax.xml.parsers.ParserConfigurationException
org.cpntools.accesscpn.model.importer.NetCheckException
org.xml.sax.SAXException
java.io.IOException
javax.xml.parsers.ParserConfigurationException
public org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator getSimulator()
public void setContext(org.processmining.framework.plugin.PluginContext context)
context
- public void setPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet)
petriNet
- public void setSimulator(org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator simulator)
simulator
- protected org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator checkModel(org.cpntools.accesscpn.model.PetriNet petriNet, org.processmining.framework.plugin.Progress progress, Logger logger) throws java.lang.Exception
java.lang.Exception