Class Ark

java.lang.Object
org.tweetyproject.graphs.GeneralEdge<PetriNetNode>
org.tweetyproject.graphs.Edge<PetriNetNode>
org.tweetyproject.logics.petri.syntax.Ark
public class Ark extends Edge<PetriNetNode>
A class to describe arks in a Petri net
Author:
Benedikt Knopp

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static enum 
    Ark.Direction
    Directions

  • Constructor Summary

    Constructors
    Constructor
    Description
    Ark(Place place, Transition transition)
    Create a new ark from a place to a transition
    Ark(Place place, Transition transition, int weight)
    Create a new ark from a place to a transition with a certain weight
    Ark(Transition transition, Place place)
    Create a new ark from a transition to a place
    Ark(Transition transition, Place place, int weight)
    Create a new ark from a transition to a place with a certain weight

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    canFire()
    Return true if this ark can fire based on its weight and properties of the connected place
    void
    fire()
    Fire this ark and conduct respective token propagations
    Ark.Direction
    getDirection()
    Return the ark direction, from place to transition or vice versa
    Place
    getPlace()
    Return the place of this ark
    Transition
    getTransition()
    Return the transition of this ark
    int
    getWeight()
    Return the ark weight
    void
    revertFire()
    reverse transition firing for purposes of graph search
    void
    setWeight(int weight)
    Setter Weight

    Methods inherited from class org.tweetyproject.graphs.Edge

    equals, getLabel, getNodeA, getNodeB, hashCode

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • Ark

      public Ark(Place place, Transition transition)
      Create a new ark from a place to a transition
      Parameters:
      place - the place
      transition - the transition

    • Ark

      public Ark(Transition transition, Place place)
      Create a new ark from a transition to a place
      Parameters:
      transition - the transition
      place - the place

    • Ark

      public Ark(Place place, Transition transition, int weight)
      Create a new ark from a place to a transition with a certain weight
      Parameters:
      place - the place
      transition - the transition
      weight - the ark weight

    • Ark

      public Ark(Transition transition, Place place, int weight)
      Create a new ark from a transition to a place with a certain weight
      Parameters:
      transition - the transition
      place - the place
      weight - the ark weight

  • Method Details

    • getDirection

      public Ark.Direction getDirection()
      Return the ark direction, from place to transition or vice versa
      Returns:
      the ark direction, from place to transition or vice versa

    • getPlace

      public Place getPlace()
      Return the place of this ark
      Returns:
      the place of this ark

    • getTransition

      public Transition getTransition()
      Return the transition of this ark
      Returns:
      the transition of this ark

    • getWeight

      public int getWeight()
      Return the ark weight
      Returns:
      the ark weight

    • setWeight

      public void setWeight(int weight)
      Setter Weight
      Parameters:
      weight - setWeight

    • canFire

      public boolean canFire()
      Return true if this ark can fire based on its weight and properties of the connected place
      Returns:
      true if this ark can fire based on its weight and properties of the connected place

    • fire

      public void fire()
      Fire this ark and conduct respective token propagations
      Throws:
      IllegalStateException - if this ark can not be fired at the moment

    • revertFire

      public void revertFire()
      reverse transition firing for purposes of graph search