org.processmining.framework.models.petrinet.algorithms
Class InitialPlaceMarker
java.lang.Object
org.processmining.framework.models.petrinet.algorithms.InitialPlaceMarker
public class InitialPlaceMarker
- extends java.lang.Object
Title: InitialPlaceMarker
Description: This static class marks all the places of a PetriNet that
do not have incoming arcs with the given number of tokens. All other places will
contain 0 tokens after execution.
Copyright: Copyright (c) 2004
Company: Technische Universiteit Eindhoven
- Version:
- 1.0
- Author:
- Boudewijn van Dongen
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InitialPlaceMarker
public InitialPlaceMarker()
mark
public static Bag mark(PetriNet net,
int tokenCount)
mark
public static Bag mark(PetriNet net,
int tokenCount,
java.util.Date timestamp)