Uses of Class
org.jbpt.petri.unfolding.order.AdequateOrder

Packages that use AdequateOrder

Package	Description
org.jbpt.petri.unfolding.order

Uses of AdequateOrder in org.jbpt.petri.unfolding.order

Subclasses of AdequateOrder in org.jbpt.petri.unfolding.order

Modifier and Type	Class and Description
class	EsparzaAdequateOrderForArbitrarySystems<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Esparza adequate order for arbitrary systems. This adequate order is described in: Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
class	EsparzaAdequateTotalOrderForSafeSystems<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Esparza adequate order for 1-safe systems (a total order).
class	McMillanAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> McMillan's adequate order.
class	UnfoldingAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> An adequate order which allows to simulate unfolding (maximal branching process).