org.processmining.eventstream.authors.cpn.utils

Class CPNetUtils

java.lang.Object

org.processmining.eventstream.authors.cpn.utils.CPNetUtils

public class CPNetUtils
extends java.lang.Object

Utility class for PetriNets originating from Access CPN. Adopted code from org.cpntools.accesscpn.model.util.BuildCPNUtil originally authored by dfahland.

Author:

svzelst, dfahland

Constructor Summary

Constructors

Constructor and Description
CPNetUtils()

Method Summary

Modifier and Type	Method and Description
static org.cpntools.accesscpn.model.Arc	addArc(org.cpntools.accesscpn.model.Page page, org.cpntools.accesscpn.model.Node src, org.cpntools.accesscpn.model.Node tgt, java.lang.String annotation) Add a new arc to the page.
static org.cpntools.accesscpn.model.Place	addPlace(org.cpntools.accesscpn.model.Page page, java.lang.String name, java.lang.String type) Add a new place to the page.
static org.cpntools.accesscpn.model.Place	addPlace(org.cpntools.accesscpn.model.Page page, java.lang.String name, java.lang.String type, java.lang.String initialMarking) Add a new place to the page.
static org.cpntools.accesscpn.model.Transition	addTransition(org.cpntools.accesscpn.model.Page page, java.lang.String name) Add a new transition to the page.
static org.cpntools.accesscpn.model.Transition	addTransition(org.cpntools.accesscpn.model.Page page, java.lang.String name, java.lang.String guard) Add a new transition to the page.
static org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode>	extractInstance(org.cpntools.accesscpn.model.Place p, org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator simulator) Extract the Instance object of a given place p
static java.lang.String	getCPNParseError(java.lang.Exception e)
static org.cpntools.accesscpn.model.Page	getRootPage(org.cpntools.accesscpn.model.PetriNet pn) Tries to find the *root* page of this PetriNet
static org.cpntools.accesscpn.model.Place	getSourcePlace(org.cpntools.accesscpn.model.Page page) Find the source place within this page, assuming only one source page exists

Methods inherited from class java.lang.Object

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

Constructor Detail

CPNetUtils

public CPNetUtils()

Method Detail

addPlace

public static org.cpntools.accesscpn.model.Place addPlace(org.cpntools.accesscpn.model.Page page,
                                                          java.lang.String name,
                                                          java.lang.String type)

Add a new place to the page.

Parameters:

page -

name -

type -

Returns:

addPlace

public static org.cpntools.accesscpn.model.Place addPlace(org.cpntools.accesscpn.model.Page page,
                                                          java.lang.String name,
                                                          java.lang.String type,
                                                          java.lang.String initialMarking)

Add a new place to the page.

Parameters:

page -

name -

type -

initialMarking -

Returns:

addTransition

public static org.cpntools.accesscpn.model.Transition addTransition(org.cpntools.accesscpn.model.Page page,
                                                                    java.lang.String name)

Add a new transition to the page.

Parameters:

page -

name -

Returns:

addTransition

public static org.cpntools.accesscpn.model.Transition addTransition(org.cpntools.accesscpn.model.Page page,
                                                                    java.lang.String name,
                                                                    java.lang.String guard)

Add a new transition to the page.

Parameters:

page -

name -

guard -

Returns:

extractInstance

public static org.cpntools.accesscpn.engine.highlevel.instance.Instance<? extends org.cpntools.accesscpn.model.PlaceNode> extractInstance(org.cpntools.accesscpn.model.Place p,
                                                                                                                                          org.cpntools.accesscpn.engine.highlevel.HighLevelSimulator simulator)

Extract the Instance object of a given place p

Parameters:

p - place

simulator - highlevelsimulator to use for estraction

Returns:

instance iff it exists, null otherwise

getRootPage

public static org.cpntools.accesscpn.model.Page getRootPage(org.cpntools.accesscpn.model.PetriNet pn)

Tries to find the *root* page of this PetriNet

Parameters:

pn - PetriNet

Returns:

Page which is the root of the PetriNet, null if we can not find a root page

getSourcePlace

public static org.cpntools.accesscpn.model.Place getSourcePlace(org.cpntools.accesscpn.model.Page page)

Find the source place within this page, assuming only one source page exists

Parameters:

page - Page to search in

Returns:

Place iff found, null otherwise

addArc

public static org.cpntools.accesscpn.model.Arc addArc(org.cpntools.accesscpn.model.Page page,
                                                      org.cpntools.accesscpn.model.Node src,
                                                      org.cpntools.accesscpn.model.Node tgt,
                                                      java.lang.String annotation)

Add a new arc to the page.

Parameters:

page -

src -

tgt -

annotation -

Returns:

getCPNParseError

public static java.lang.String getCPNParseError(java.lang.Exception e)