org.jbpt.petri.untangling

Interface IProcess<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>>

All Superinterfaces:

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

All Known Implementing Classes:

AbstractProcess, Process

public interface IProcess<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 IBranchingProcess<BPN,C,E,F,N,P,T,M>, Cloneable

An interface to a Process of a net system (INetSystem). Extends IBranchingProcess. A process of a net system is composed of a conflict-free Petri net (IPetriNet) and a mapping from nodes of the net to nodes of the net system that allows interpreting the net as a concurrent trace of the net system.

Author:

Artem Polyvyanyy

Method Summary

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

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

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

areCausal, areConcurrent, areInConflict, areInverseCausal, getOrderingRelation