public class DPNSynchronousProductComputation
extends java.lang.Object
| Constructor and Description |
|---|
DPNSynchronousProductComputation() |
| Modifier and Type | Method and Description |
|---|---|
static PetriNetWithData |
computeSynchronousProduct(PetriNetWithData sourceNetA,
PetriNetWithData sourceNetB,
java.lang.String netName)
TODO: Write Javadoc
|
public static PetriNetWithData computeSynchronousProduct(PetriNetWithData sourceNetA, PetriNetWithData sourceNetB, java.lang.String netName)
sourceNetA - sourceNetB - netName -