org.processmining.petrinetsimulator.utils

Class PetrinetUtils

java.lang.Object

org.processmining.petrinetsimulator.utils.PetrinetUtils

public class PetrinetUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetrinetUtils()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer>	fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>	getNextPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>	getNextTransitions(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>	getPreviousPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
static boolean	isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetUtils

public PetrinetUtils()

Method Detail

getNextTransitions

public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getNextTransitions(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
                                                                                                                          org.processmining.models.graphbased.directed.petrinet.Petrinet net)

getPreviousPlaces

public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreviousPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                    org.processmining.models.graphbased.directed.petrinet.Petrinet net)

getNextPlaces

public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getNextPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net)

isTransitionEnabled

public static boolean isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                          java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings,
                                          org.processmining.models.graphbased.directed.petrinet.Petrinet net)

fireTransition

public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                                                                                                                                   java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings,
                                                                                                                                   org.processmining.models.graphbased.directed.petrinet.Petrinet net)