Class PetrinetSemanticsProvider


  • public class PetrinetSemanticsProvider
    extends java.lang.Object
    • Constructor Detail

      • PetrinetSemanticsProvider

        public PetrinetSemanticsProvider()
    • Method Detail

      • provideElementary

        public PetrinetSemantics provideElementary​(org.processmining.framework.plugin.PluginContext context)
      • provideNormal

        public PetrinetSemantics provideNormal​(org.processmining.framework.plugin.PluginContext context)