org.jbpt.petri.untangling.pss

Interface IProcessSetSystem<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:

AbstractProcessSetSystem, ProcessSetSystem

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

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	fire(T transition)
Set<T>	getEnabledTransitions() Get a set of enabled transitions.
M	getMarking() Get marking.
INetSystem<F,N,P,T,M>	getNetSystem()
Collection<IProcessSystem<BPN,C,E,F,N,P,T,M>>	getProcessSystems()

Method Detail

getEnabledTransitions

Set<T> getEnabledTransitions()

Get a set of enabled transitions.

Returns:

A set of enabled transitions.

getMarking

M getMarking()

Get marking.

Returns:

Get marking of this process set system.

fire

boolean fire(T transition)

getProcessSystems

Collection<IProcessSystem<BPN,C,E,F,N,P,T,M>> getProcessSystems()

getNetSystem

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