- All Implemented Interfaces:
- java.lang.Comparable<org.processmining.models.semantics.petrinet.Marking>, java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Place>, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place>, org.processmining.framework.util.collection.MultiSet<org.processmining.models.graphbased.directed.petrinet.elements.Place>, org.processmining.framework.util.collection.SortedMultiSet<org.processmining.models.graphbased.directed.petrinet.elements.Place>, org.processmining.framework.util.HTMLToString
- Enclosing class:
- PrefixAutomaton
public class PrefixAutomaton.IndetMark
extends org.processmining.models.semantics.petrinet.Marking
Inner class containing Task, and the marking reached after firing them
- Author:
- Jorge Munoz-Gama (jmunoz)