Class 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
    • Constructor Detail

      • PetriNetShortCircuiter

        public PetriNetShortCircuiter()