Package org.oristool.models.pn

Class PetriTokensRemover

java.lang.Object

org.oristool.models.pn.PetriTokensRemover

All Implemented Interfaces:

MarkingUpdater

public final class PetriTokensRemover
extends Object
implements MarkingUpdater

A simple strategy remove tokens from each input place.

Constructor Summary

Constructors

Constructor	Description
PetriTokensRemover()

Method Summary

Modifier and Type	Method	Description
void	update(Marking m, PetriNet petriNet, Transition t)	Removes tokens from each input place according to the multiplicity of the precondition.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PetriTokensRemover

public PetriTokensRemover()

Method Details

update

public void update(Marking m,
 PetriNet petriNet,
 Transition t)

Removes tokens from each input place according to the multiplicity of the precondition.

Specified by:

update in interface MarkingUpdater

Parameters:

m - marking

petriNet - Petri net

t - fired transition