org.processmining.hybrid.algorithms.transformations

Classes

• AcceptingPetriNet2TransitionSystem
• Automaton2TransitionSystem
• Buchi2TransitionSystem
• Declare2AcceptingResetNet
• Hybrid2PetriNet
• Hybrid2TransitionSystemNoIndependenceRelation
• Hybrid2TransitionSystemNoIndependenceRelationEfficient
• HybridDeclare2TransitionSystem
• ProcessTree2AcceptingPetriNet
• TransitionSystem2AcceptingPetriNet
• TransitionSystem2Automaton