org.jbpt.petri.structure

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

java.lang.Object

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

Type Parameters:

F - Flow template.

N - Node template.

P - Place template.

T - Transition template.

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

Collection of methods for performing structural checks on Petri nets.

Author:

Artem Polyvyanyy, Matthias Weidlich

Constructor Summary

Constructors

Constructor and Description
PetriNetStructuralChecks()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isConflictFree(IPetriNet<F,N,P,T> net) Check if a net is a conflict-free net.
boolean	isExtendedFreeChoice(IPetriNet<F,N,P,T> net) Check if a given Petri net is extended free-choice.
boolean	isFreeChoice(IPetriNet<F,N,P,T> net) Check if a given Petri net is free-choice.
boolean	isSNet(IPetriNet<F,N,P,T> net) Check if a given Petri net is an S-net.
boolean	isTNet(IPetriNet<F,N,P,T> net) Check if a given net is a T-net.
boolean	isTRestricted(IPetriNet<F,N,P,T> net) Check if a given Petri net is T-restricted.
boolean	isWorkflowNet(IPetriNet<F,N,P,T> net) Check if a given Petri net is a workflow net (WF-net).

Methods inherited from class java.lang.Object

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

Constructor Detail

PetriNetStructuralChecks

public PetriNetStructuralChecks()

Method Detail

isFreeChoice

public boolean isFreeChoice(IPetriNet<F,N,P,T> net)

Check if a given Petri net is free-choice. A net is free-choice if and only if for every its place p that has multiple output transitions holds *(p*)={p}.

Parameters:

net - A Petri net.

Returns:

true if the net is free-choice; otherwise false.

isExtendedFreeChoice

public boolean isExtendedFreeChoice(IPetriNet<F,N,P,T> net)

Check if a given Petri net is extended free-choice. A Petri net is extended free-choice if all transitions that share a place in their presets have to coincide w.r.t. their presets.

Parameters:

net - A Petri net.

Returns:

true if the net is extended free-choice; otherwise false.

isSNet

public boolean isSNet(IPetriNet<F,N,P,T> net)

Check if a given Petri net is an S-net. A net is an S-net if and only if every its transition has exactly one input place and exactly one output place.

Parameters:

net - A Petri net.

Returns:

true if the net is S-net; otherwise false.

isTNet

public boolean isTNet(IPetriNet<F,N,P,T> net)

Check if a given net is a T-net. A net is a T-net if and only if every its place has exactly one input transition and exactly one output transition.

Parameters:

net - A Petri net

Returns:

true if the net is T-net; otherwise false.

isConflictFree

public boolean isConflictFree(IPetriNet<F,N,P,T> net)

Check if a net is a conflict-free net. A net is an conflict-free if and only if every its place has at most one input place and at most one output place.

Parameters:

net - A Petri net.

Returns:

true if the net is conflict-free; otherwise false.

isWorkflowNet

public boolean isWorkflowNet(IPetriNet<F,N,P,T> net)

Check if a given Petri net is a workflow net (WF-net). A WF-net has exactly one source place, exactly one sink place, and every node is on a path from the source to the sink.

Parameters:

net - A Petri net.

Returns:

true if the net is a WF-net; otherwise false.

isTRestricted

public boolean isTRestricted(IPetriNet<F,N,P,T> net)

Check if a given Petri net is T-restricted. A net is T-restricted if presets and postsets of all transitions are not empty.

Returns:

true if this net is T-restricted; otherwise false.