Class DemoSignatureProvider

java.lang.Object
org.bigraphs.grgen.converter.demo.DemoSignatureProvider

public class DemoSignatureProvider extends Object
  • Method Details

    • getInstance

      public static DemoSignatureProvider getInstance()
    • petriNet

      public org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature petriNet()
    • smartHome

      public org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature smartHome()