org.jbpt.petri.structure

Class PetriNetTransformations<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

java.lang.Object

org.jbpt.petri.structure.PetriNetTransformations<F,N,P,T>

Type Parameters:

F - Flow template.

N - Node template.

P - Place template.

T - Transition template.

public class PetriNetTransformations<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>
extends Object

Collection of methods for transforming Petri nets.

Author:

Artem Polyvyanyy, Matthias Weidlich

Constructor Summary

Constructors

Constructor and Description
PetriNetTransformations()

Method Summary

Methods

Modifier and Type	Method and Description
void	isolateTransitions(IPetriNet<F,N,P,T> net)
void	relinkIncomingArcs(IPetriNet<F,N,P,T> net, N from, N to)
void	relinkOutgoingArcs(IPetriNet<F,N,P,T> net, N from, N to)
void	tRestrict(IPetriNet<F,N,P,T> net) T-restrict a given Petri net, i.e., add a single input/output place to transitions with empty preset/postset.

Methods inherited from class java.lang.Object

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

Constructor Detail

PetriNetTransformations

public PetriNetTransformations()

Method Detail

relinkIncomingArcs

public void relinkIncomingArcs(IPetriNet<F,N,P,T> net,
                      N from,
                      N to)

relinkOutgoingArcs

public void relinkOutgoingArcs(IPetriNet<F,N,P,T> net,
                      N from,
                      N to)

isolateTransitions

public void isolateTransitions(IPetriNet<F,N,P,T> net)

tRestrict

public void tRestrict(IPetriNet<F,N,P,T> net)

T-restrict a given Petri net, i.e., add a single input/output place to transitions with empty preset/postset. A net is T-restricted if presets and postsets of all transitions are not empty.