public class LolaSoundnessChecker extends Object
| Constructor and Description |
|---|
LolaSoundnessChecker() |
| Modifier and Type | Method and Description |
|---|---|
static LolaSoundnessCheckerResult |
analyzeSoundness(NetSystem net)
Uses the LoLA service to check the soundness of the given
PetriNet. |
public static LolaSoundnessCheckerResult analyzeSoundness(NetSystem net) throws SerializationException, IOException
PetriNet.petrinet - to checkIOExceptionTimeoutExceptionSerializationExceptionIOExceptionCopyright © 2017. All rights reserved.