public class DefaultOpenNetExtensionsFactory
extends java.lang.Object
Constructor and Description |
---|
DefaultOpenNetExtensionsFactory() |
public PnmlLabelConnection.Sync createPnmlLabelConnectionSync()
public PnmlLabelConnection.Send createPnmlLabelConnectionSend()
public PnmlLabelConnection.Receive createPnmlLabelConnectionReceive()
public PnmlMarkedPlace createPnmlMarkedPlace()
public PnmlPorts createPnmlPorts()
public PnmlModule createPnmlModule()
public PnmlFinalMarkings createPnmlFinalMarkings()
public PnmlPort createPnmlPort()
public PnmlFinalMarking createPnmlFinalMarking()