Uses of Class
org.jbpt.petri.behavior.LolaSoundnessCheckerResult

Packages that use LolaSoundnessCheckerResult

Package	Description
org.jbpt.petri.behavior

Uses of LolaSoundnessCheckerResult in org.jbpt.petri.behavior

Methods in org.jbpt.petri.behavior that return LolaSoundnessCheckerResult

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