org.jbpt.petri.untangling

Class Process

java.lang.Object

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

org.jbpt.petri.untangling.AbstractProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.untangling.Process

All Implemented Interfaces:

Cloneable, IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>, IOrderingRelationsDescriptor<BPNode,Node>, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

public class Process
extends AbstractProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

An 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

Constructor and Description
Process()
Process(INetSystem<Flow,Node,Place,Transition,Marking> sys) Construct a process of a net system.

Method Summary

Methods inherited from class org.jbpt.petri.untangling.AbstractProcess

appendEvent, isConflictFree

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

Process

public Process()

Process

public Process(INetSystem<Flow,Node,Place,Transition,Marking> sys)

Construct a process of a net system.

Parameters:

sys - A net system.