Uses of Class
org.jbpt.petri.behavior.ConcurrencyRelation

Packages that use ConcurrencyRelation

Package	Description
org.jbpt.petri.behavior

Uses of ConcurrencyRelation in org.jbpt.petri.behavior

Methods in org.jbpt.petri.behavior with parameters of type ConcurrencyRelation

Modifier and Type	Method and Description
boolean	ConcurrencyRelation.equals(ConcurrencyRelation relation) Checks equality for two true concurrency matrices Returns false, if both matrices are not based on the same Petri net.