Package jline.api.spn

Class Spn_tinvariants

java.lang.Object

jline.api.spn.Spn_tinvariants

public class Spn_tinvariants
extends Object

Minimal-support semi-positive T-invariants of a stochastic Petri net.

A T-invariant is a non-negative integer right null vector of the incidence matrix, C x = 0: a firing sequence whose event counts are x returns the net to the marking it started from, whenever it can be fired. They are computed with the Farkas algorithm of Spn_sinvariants on C' (one row per event). Events are the (transition, mode) pairs in node order. The invariants are STRUCTURAL: inhibitor arcs, firing priorities and immediate precedence are ignored.

References: J. Martinez, M. Silva, "A simple and fast algorithm to obtain all invariants of a generalised Petri net", 1982; T. Murata, "Petri nets: properties, analysis and applications", Proc. IEEE 77(4) (1989), Sec. VII.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Spn_tinvariants.SpnTInvariants	The T-invariant basis of a net, in event coordinates.

Method Summary

Modifier and Type	Method	Description
static Spn_tinvariants.SpnTInvariants	spn_tinvariants(NetworkStruct sn)	Minimal-support T-invariants.

Methods inherited from class java.lang.Object

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

Method Details

spn_tinvariants

public static Spn_tinvariants.SpnTInvariants spn_tinvariants(NetworkStruct sn)

Minimal-support T-invariants.

Parameters:

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

Returns:

the invariant basis