Package org.oristool.models.pn

Class PetriTokensAdder

java.lang.Object

org.oristool.models.pn.PetriTokensAdder

All Implemented Interfaces:

MarkingUpdater

public final class PetriTokensAdder
extends Object
implements MarkingUpdater

A simple strategy adding tokens to each output place.

Constructor Summary

Constructors

Constructor	Description
PetriTokensAdder()

Method Summary

Modifier and Type	Method	Description
void	update(Marking m, PetriNet petriNet, Transition t)	Adds tokens to each output place according to the multiplicity of the postcondition.

Methods inherited from class java.lang.Object

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

Constructor Details

PetriTokensAdder

public PetriTokensAdder()

Method Details

update

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

Adds tokens to each output place according to the multiplicity of the postcondition.

Specified by:

update in interface MarkingUpdater

Parameters:

m - marking

petriNet - Petri net

t - fired transition