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
-