org.processmining.framework.models.petrinet.algorithms
Class InitialPlaceMarker

java.lang.Object
  extended by 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

Constructor Summary
InitialPlaceMarker()
           
 
Method Summary
static Bag mark(PetriNet net, int tokenCount)
           
static Bag mark(PetriNet net, int tokenCount, java.util.Date timestamp)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InitialPlaceMarker

public InitialPlaceMarker()
Method Detail

mark

public static Bag mark(PetriNet net,
                       int tokenCount)

mark

public static Bag mark(PetriNet net,
                       int tokenCount,
                       java.util.Date timestamp)