Package org.processmining.placebasedlpmdiscovery.prom.plugins.converters

Class PetriNetToPlaceNetsConverterPlugin

java.lang.Object

org.processmining.placebasedlpmdiscovery.prom.plugins.converters.PetriNetToPlaceNetsConverterPlugin

public class PetriNetToPlaceNetsConverterPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PetriNetToPlaceNetsConverterPlugin()

Method Summary

Modifier and Type	Method	Description
static PlaceSet	extractPlaceNets(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetToPlaceNetsConverterPlugin

public PetriNetToPlaceNetsConverterPlugin()

Method Detail

extractPlaceNets

public static PlaceSet extractPlaceNets(org.processmining.contexts.uitopia.UIPluginContext context,
                                        org.processmining.models.graphbased.directed.petrinet.Petrinet net)