org.jbpt.petri.untangling

Class AbstractProcess<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>>

java.lang.Object

org.jbpt.petri.unfolding.AbstractBranchingProcess<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.untangling.AbstractProcess<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

Cloneable, IBranchingProcess<BPN,C,E,F,N,P,T,M>, IOrderingRelationsDescriptor<BPN,N>, IProcess<BPN,C,E,F,N,P,T,M>

Direct Known Subclasses:

Process

public abstract class AbstractProcess<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>>
extends AbstractBranchingProcess<BPN,C,E,F,N,P,T,M>
implements IProcess<BPN,C,E,F,N,P,T,M>

An abstract implementation of the IProcess interface.

Author:

Artem Polyvyanyy

Field Summary

Fields inherited from class org.jbpt.petri.unfolding.AbstractBranchingProcess

ca, co, conds, events, iniBP, log, sys

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractProcess()
	AbstractProcess(INetSystem<F,N,P,T,M> sys) Construct a process of a given net system.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	appendEvent(E event) Append event to this process (ensures that no conflicts are introduced).
boolean	isConflictFree() Check if this process is conflict free.

Methods inherited from class org.jbpt.petri.unfolding.AbstractBranchingProcess

appendCondition, appendTransition, areCausal, areConcurrent, areInConflict, areInverseCausal, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, createEvent, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOccurrenceNet, getOrderingRelation, getOriginativeNetSystem, getPlaces, getTransitions, initialize, isCut, isSafe, setNetSystem, updateCausalityCondition

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.petri.unfolding.IBranchingProcess

appendCondition, appendTransition, areMutuallyConcurrent, clone, constructInitialBranchingProcess, createCondition, createCoSet, createCut, createEvent, getCausalPredecessors, getConditions, getConditions, getCuts, getEvents, getEvents, getInitialCut, getLog, getMax, getMin, getOccurrenceNet, getOriginativeNetSystem, getPlaces, getTransitions, isCut, isSafe, setNetSystem

Methods inherited from interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation

Constructor Detail

AbstractProcess

protected AbstractProcess()

AbstractProcess

public AbstractProcess(INetSystem<F,N,P,T,M> sys)

Construct a process of a given net system.

Parameters:

sys - A net system.

Method Detail

appendEvent

public boolean appendEvent(E event)

Append event to this process (ensures that no conflicts are introduced).

Specified by:

appendEvent in interface IBranchingProcess<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>>

Overrides:

appendEvent in class AbstractBranchingProcess<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>>

Parameters:

event - An event to append.

Returns:

true if 'event' was appended; false otherwise.

isConflictFree

public boolean isConflictFree()

Check if this process is conflict free.

Specified by:

isConflictFree in interface IBranchingProcess<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>>

Overrides:

isConflictFree in class AbstractBranchingProcess<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>>

Returns:

true if this process is conflict-free; false otherwise.