org.jbpt.petri.unfolding

Class CompletePrefixUnfoldingSetup

java.lang.Object

org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup

public class CompletePrefixUnfoldingSetup
extends Object

Setup for construction of a branching process of a net system.

Author:

Artem Polyvyanyy

Field Summary

Fields

Modifier and Type	Field and Description
AdequateOrderType	ADEQUATE_ORDER Use this adequate order when constructing the unfolding.
int	MAX_BOUND Stop construction when identified a co-set which contains MAX_BOUND conditions that correspond to the same place of the originative system.
int	MAX_EVENTS Do not append more than MAX_EVENTS events to the branching process.
boolean	SAFE_OPTIMIZATION Use techniques for safe systems to optimize construction of the branching process.

Constructor Summary

Constructors

Constructor and Description
CompletePrefixUnfoldingSetup()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

MAX_EVENTS

public int MAX_EVENTS

Do not append more than MAX_EVENTS events to the branching process.

MAX_BOUND

public int MAX_BOUND

Stop construction when identified a co-set which contains MAX_BOUND conditions that correspond to the same place of the originative system. Only works if SAFE_OPTIMIZATION is set to false.

ADEQUATE_ORDER

public AdequateOrderType ADEQUATE_ORDER

Use this adequate order when constructing the unfolding.

SAFE_OPTIMIZATION

public boolean SAFE_OPTIMIZATION

Use techniques for safe systems to optimize construction of the branching process.

Constructor Detail

CompletePrefixUnfoldingSetup

public CompletePrefixUnfoldingSetup()