org.processmining.plugins.petrinet
Class PetriNetShortCircuiter
java.lang.Object
org.processmining.plugins.petrinet.PetriNetShortCircuiter
public class PetriNetShortCircuiter
- extends java.lang.Object
Title: PetriNetShortCircuiter
Description: This class adds a transition to the Petrinet, such that it
consumes tokens from all places that have no outgoing arcs and it produces
places in all places that have no incoming arcs. A pointer to the Transition
is provided. If no places with no incoming arcs exist, or no places with no
outgoing arcs exist, null is returned.
Copyright: Copyright (c) 2004
Company: Technische Universiteit Eindhoven
- Version:
- 1.0
- Author:
- Boudewijn van Dongen
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PetriNetShortCircuiter
public PetriNetShortCircuiter()
shortCircuit
public static Transition shortCircuit(PetrinetGraph net)