Package org.oristool.models.pn

Class PostUpdater

java.lang.Object

org.oristool.models.pn.PostUpdater

All Implemented Interfaces:

MarkingUpdater, TransitionFeature, Feature

public final class PostUpdater
extends Object
implements MarkingUpdater, TransitionFeature

Transition feature updating the marking after token additions/removals of a firing.

Constructor Summary

Constructors

Constructor	Description
PostUpdater(String expression, PetriNet pn)	Builds a marking updater from a string of update commands.

Method Summary

Modifier and Type	Method	Description
String	toString()
void	update(Marking m, PetriNet petriNet, Transition t)	Updates the input marking after the firing of the given transition.

Methods inherited from class java.lang.Object

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

Constructor Details

PostUpdater

public PostUpdater(String expression,
 PetriNet pn)

Builds a marking updater from a string of update commands.

The syntax used of update commands is: place1 = expr1; place2 = expr2; ... where place1, place2, ... are place names and expr1, expr2, ... are arbitrary expressions of using place names as variables. For example:

• p1 = p1 + p2 + max(p3, p4);
• p1 = If(p2 > p3, p4, p5);

Note that all expressions are evaluated before updating the marking, using the current token counts.

Parameters:

expression - the sequence of marking updates

pn - the Petri net that place names refer to

Method Details

update

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

Description copied from interface: MarkingUpdater

Updates the input marking after the firing of the given transition.

Specified by:

update in interface MarkingUpdater

Parameters:

m - marking

petriNet - Petri net

t - fired transition

toString

public String toString()

Overrides:

toString in class Object