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
Constructor and Description |
---|
PetriNetShortCircuiter() |
Modifier and Type | Method and Description |
---|---|
static Transition |
shortCircuit(PetrinetGraph net) |
public static Transition shortCircuit(PetrinetGraph net)