org.jbpt.petri.behavior

Classes

• Completion
• ConcurrencyRelation
• LolaSoundnessChecker
• LolaSoundnessCheckerResult
• ProjectedStateSpace
• SimpleStateSpace