org.jbpt.petri.behavior

Class ConcurrencyRelation

java.lang.Object

org.jbpt.petri.behavior.ConcurrencyRelation

public class ConcurrencyRelation
extends Object

Captures the concurrency relation for the nodes of a given Petri net. It captures transitions that are enabled concurrently in some reachable marking and places that are marked concurrently in some reachable marking. (see Kovalyov and Esparza (1996)) UNCHECKED ASSUMPTION: the net is live and bounded!

Author:

matthias.weidlich

Constructor Summary

Constructors

Constructor and Description
ConcurrencyRelation(NetSystem sys) Create a concurrency relation for a given Petri net.

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addAllCombinations(Set<org.jbpt.petri.behavior.ConcurrencyRelation.NodePair> combinations, List<Node> nodes)
boolean	areConcurrent(int i, int j) Returns whether there exists a state in which both nodes are enabled / marked concurrently.
boolean	areConcurrent(Node n1, Node n2) Returns whether there exists a state in which both nodes are enabled / marked concurrently.
protected void	calculateConcurrencyMatrix() Calculates the concurrency relation using the algorithm by Kovalyov and Esparza (1996).
boolean	equals(ConcurrencyRelation relation) Checks equality for two true concurrency matrices Returns false, if both matrices are not based on the same Petri net.
NetSystem	getNet() Get the Petri net.
protected boolean	nodeConcurrentToNodes(Node n, Collection<Node> nodes) Checks whether a given node is concurrent to all nodes given in a collection of nodes.
protected void	processConcNodes(Set<org.jbpt.petri.behavior.ConcurrencyRelation.NodePair> concNodes, boolean isFC) Helper method for calculating the concurrency relation (see Kovalyov and Esparza (1996)).
protected void	setAllNodesConcurrent(Collection<Node> nodes) Set all nodes pairwise concurrent in the concurrency matrix.
protected void	setNodeConcurrentToNodes(Node n, Collection<Node> nodes) Set all a node and all nodes in a collection concurrent.
protected void	setNodesConcurrent(Node n1, Node n2) Set two nodes concurrent in the concurrency matrix.s
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcurrencyRelation

public ConcurrencyRelation(NetSystem sys)

Create a concurrency relation for a given Petri net.

Parameters:

the - Petri net

Method Detail

areConcurrent

public boolean areConcurrent(Node n1,
                    Node n2)

Returns whether there exists a state in which both nodes are enabled / marked concurrently.

Parameters:

n1 -

n2 -

Returns:

true, if both nodes are concurrent.

areConcurrent

public boolean areConcurrent(int i,
                    int j)

Returns whether there exists a state in which both nodes are enabled / marked concurrently. Both nodes are identified by the index in the list of nodes of the respective Petri net.

Parameters:

n1 -

n2 -

Returns:

true, if both nodes are concurrent.

nodeConcurrentToNodes

protected boolean nodeConcurrentToNodes(Node n,
                            Collection<Node> nodes)

Checks whether a given node is concurrent to all nodes given in a collection of nodes.

Parameters:

a - single node

a - collection of nodes

Returns:

true, if the node is concurrent to all nodes in the collection

setAllNodesConcurrent

protected void setAllNodesConcurrent(Collection<Node> nodes)

Set all nodes pairwise concurrent in the concurrency matrix.

Parameters:

nodes -

setNodeConcurrentToNodes

protected void setNodeConcurrentToNodes(Node n,
                            Collection<Node> nodes)

Set all a node and all nodes in a collection concurrent.

Parameters:

a - single node

a - collection of nodes

setNodesConcurrent

protected void setNodesConcurrent(Node n1,
                      Node n2)

Set two nodes concurrent in the concurrency matrix.s

Parameters:

n1 -

n2 -

processConcNodes

protected void processConcNodes(Set<org.jbpt.petri.behavior.ConcurrencyRelation.NodePair> concNodes,
                    boolean isFC)

Helper method for calculating the concurrency relation (see Kovalyov and Esparza (1996)).

addAllCombinations

protected void addAllCombinations(Set<org.jbpt.petri.behavior.ConcurrencyRelation.NodePair> combinations,
                      List<Node> nodes)

calculateConcurrencyMatrix

protected void calculateConcurrencyMatrix()

Calculates the concurrency relation using the algorithm by Kovalyov and Esparza (1996). Assumption: the net is live and bound!

toString

public String toString()

Overrides:

toString in class Object

getNet

public NetSystem getNet()

Get the Petri net.

Returns:

Petri net

equals

public boolean equals(ConcurrencyRelation relation)

Checks equality for two true concurrency matrices Returns false, if both matrices are not based on the same Petri net.

Parameters:

relation - that should be compared

Returns:

true, if the given relation is equivalent to this relation