org.processmining.plugins.transitionsystem.decomposition

Class MergeNets

java.lang.Object

org.processmining.plugins.transitionsystem.decomposition.MergeNets

public class MergeNets
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MergeNets()

Method Summary

Modifier and Type

Method and Description

org.processmining.models.graphbased.directed.petrinet.Petrinet

constructTS(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem unifiedTransitionSystem, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem specialTransitionSystem, org.processmining.models.graphbased.directed.petrinet.Petrinet petriet1, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet2, org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regionSet1, org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regionSet2)

Methods inherited from class java.lang.Object

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

Constructor Detail

MergeNets

public MergeNets()

Method Detail

constructTS

public org.processmining.models.graphbased.directed.petrinet.Petrinet constructTS(org.processmining.framework.plugin.PluginContext context,
                                                                                  org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem unifiedTransitionSystem,
                                                                                  org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem specialTransitionSystem,
                                                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet petriet1,
                                                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet2,
                                                                                  org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regionSet1,
                                                                                  org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet regionSet2)