public class ErrorThrowingColouredPetriNet extends ColouredPetriNet
simulator
Constructor and Description |
---|
ErrorThrowingColouredPetriNet(org.cpntools.accesscpn.model.PetriNet petriNet) |
Modifier and Type | Method and Description |
---|---|
org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator |
getSimulatorWithError() |
checkModel, getContext, getPetriNet, getSimulator, setContext, setPetriNet, setSimulator