Help Topics     Concepts     Package     Class


Petri Transition Bean Properties and Use

Properties

The Petri Transition Bean panel provides these options:

Guard Clause
The guard clause is a boolean expression which is evaluated as part of the antecedent clause of the if/then transition rule.
Action expression
The action expression contains one or more action clauses which are evaluated when the transition rule fires. The actions could range from variable assignments or computations, method or function calls, or nested if/then/else statements.
Firing probability
The firing probability is used to randomly determine whether this transition becomes part of the enabled transition conflict set.
Mean delay
The mean delay is used to specify the mean value of an exponential distribution random variable. This delay (if non-zero mean is specified) is applied after the input tokens are removed but before the transition action expression is evaluated.

Use

The Petri Net Transition Bean panel is used to specify the elements of the transition rule, including the guard clause (if-part) and action expression (then-part). The panel is also used to specify the firing probability (if not 1.0) and the mean transition delay (if specified).

For more information refer to the PetriNetAgent details or PetriNetTutorial.