org.jbpt.petri.untangling.pss

Interface IProcessSystem<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 Known Implementing Classes:

AbstractProcessSystem, ProcessSystem

public interface IProcessSystem<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 interface to a Process System. A process system is composed of a net system (INetSystem) S and a process (IProcess) of S. A process system restricts the behavior of its net system to that encoded in its process.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	fire(T transition) Fire a given transition, i.e., trigger an occurrence of a given transition.
Set<T>	getEnabledTransitions() Get enabled transitions of this process system.
M	getMarking() Get marking of this process system.
INetSystem<F,N,P,T,M>	getNetSystem() Get net system.
IProcess<BPN,C,E,F,N,P,T,M>	getProcess() Get process.
void	setProcess(IProcess<BPN,C,E,F,N,P,T,M> pi) Set process.
void	setSystem(INetSystem<F,N,P,T,M> sys) Set net system.

Method Detail

getEnabledTransitions

Set<T> getEnabledTransitions()

Get enabled transitions of this process system.

Returns:

Set of enabled transitions.

getMarking

M getMarking()

Get marking of this process system.

Returns:

Marking of this net system

fire

boolean fire(T transition)

Fire a given transition, i.e., trigger an occurrence of a given transition.

Parameters:

transition - A transition to fire.

Returns:

true if transition fired; false otherwise.

getProcess

IProcess<BPN,C,E,F,N,P,T,M> getProcess()

Get process.

Returns:

Process of this process system.

getNetSystem

INetSystem<F,N,P,T,M> getNetSystem()

Get net system.

Returns:

Net system of this process system.

setSystem

void setSystem(INetSystem<F,N,P,T,M> sys)

Set net system.

Parameters:

sys - A net system to use for this process system.

setProcess

void setProcess(IProcess<BPN,C,E,F,N,P,T,M> pi)

Set process.

Parameters:

pi - A process to use for this process system.