| Package | Description |
|---|---|
| org.jbpt.petri.behavior |
| 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.
|
Copyright © 2017. All rights reserved.