Package jline.api.spn

Class Spn_properties

java.lang.Object

jline.api.spn.Spn_properties

public class Spn_properties
extends Object

Structural and behavioural property analysis of a stochastic Petri net in one call: invariants, siphons and traps, the LP structural checks and net classes, the reachability-graph verdicts, and the liveness conclusions that the net class and Commoner's property license.

With STP = every minimal siphon contains a marked trap (Spn_siphons.SpnSiphons.commoner), the classical results for ORDINARY nets give structdeadlockfree = 1 if the net is ordinary and STP holds; structlive = 1 if the net is asymmetric choice and STP holds, 0 if it is extended free choice and STP fails; -1 (undetermined) otherwise. They are reported only when ignored is empty (no inhibitor arcs, no immediate precedence, no priorities); otherwise both are -1 and the reachability verdicts in reach are the ones to read.

References: T. Murata, Proc. IEEE 77(4) (1989) 541-580, Secs. VI and VII; B.R. Haverkort, Performance of Computer Communication Systems, Wiley, 1998, Sec. 14.2.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Spn_properties.SpnProperties	All the properties.

Method Summary

Modifier and Type	Method	Description
static Spn_properties.SpnProperties	spn_properties(NetworkStruct sn)
static Spn_properties.SpnProperties	spn_properties(NetworkStruct sn, double[] init)
static Spn_properties.SpnProperties	spn_properties(NetworkStruct sn, double[] init, int maxstates)	All the properties of a net.

Methods inherited from class java.lang.Object

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

Method Details

spn_properties

public static Spn_properties.SpnProperties spn_properties(NetworkStruct sn)

spn_properties

public static Spn_properties.SpnProperties spn_properties(NetworkStruct sn,
 double[] init)

spn_properties

public static Spn_properties.SpnProperties spn_properties(NetworkStruct sn,
 double[] init,
 int maxstates)

All the properties of a net.

Parameters:

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

init - initial tokens per place level, as in Spn_siphons

maxstates - maximum number of stored markings

Returns:

the properties