Package jline.api.spn

Class Spn_traps

java.lang.Object

jline.api.spn.Spn_traps

public class Spn_traps
extends Object

All minimal traps of a stochastic Petri net, and which of them m0 marks.

A trap is a non-empty set Q of place levels with Q* contained in *Q: a marked trap stays marked. The minimal traps are the minimal siphons of the reversed net, enumerated by the branch and bound of Spn_siphons with the same exponential worst case. Inhibitor arcs, priorities and immediate precedence are ignored.

Reference: T. Murata, Proc. IEEE 77(4) (1989), Sec. VI-B.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Spn_traps.SpnTraps	The minimal traps, in level coordinates.

Method Summary

Modifier and Type	Method	Description
static Spn_traps.SpnTraps	spn_traps(NetworkStruct sn)
static Spn_traps.SpnTraps	spn_traps(NetworkStruct sn, double[] init)	Minimal traps.

Methods inherited from class java.lang.Object

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

Method Details

spn_traps

public static Spn_traps.SpnTraps spn_traps(NetworkStruct sn)

spn_traps

public static Spn_traps.SpnTraps spn_traps(NetworkStruct sn,
 double[] init)

Minimal traps.

Parameters:

sn - a NetworkStruct of a closed model holding Places and Transitions

init - initial tokens per place level, as in Spn_siphons

Returns:

the traps