org.jbpt.petri.behavior

Class LolaSoundnessChecker

java.lang.Object

org.jbpt.petri.behavior.LolaSoundnessChecker

public class LolaSoundnessChecker
extends Object

Constructor Summary

Constructors

Constructor and Description
LolaSoundnessChecker()

Method Summary

Methods

Modifier and Type	Method and Description
static LolaSoundnessCheckerResult	analyzeSoundness(NetSystem net) Uses the LoLA service to check the soundness of the given PetriNet.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LolaSoundnessChecker

public LolaSoundnessChecker()

Method Detail

analyzeSoundness

public static LolaSoundnessCheckerResult analyzeSoundness(NetSystem net)
                                                   throws SerializationException,
                                                          IOException

Uses the LoLA service to check the soundness of the given PetriNet.

Parameters:

petrinet - to check

Returns:

true if Petri net is sound

Throws:

IOException

TimeoutException

SerializationException

IOException