java.lang.Object
org.tweetyproject.graphs.GeneralEdge<T>
org.tweetyproject.graphs.Edge<Marking>
org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge
All Implemented Interfaces:
Comparable<MarkingEdge>

public class MarkingEdge extends Edge<Marking> implements Comparable<MarkingEdge>
A class to describe markings of a Petri net. A MarkingEdge is a directed edge between two markings indicating that the target marking can be reached from the source marking by firing some transition
Author:
Benedikt Knopp
  • Constructor Details

    • MarkingEdge

      public MarkingEdge(Marking from, Marking to, Transition transition)
      Create a new instance
      Parameters:
      from - the original marking
      to - the resulting marking
      transition - the transition which, when fired, leads to this change of markings
  • Method Details