public class CPNetUtils
extends java.lang.Object
Constructor and Description |
---|
CPNetUtils() |
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
|
public static org.cpntools.accesscpn.model.Place addPlace(org.cpntools.accesscpn.model.Page page, java.lang.String name, java.lang.String type)
page
- name
- type
- 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)
page
- name
- type
- initialMarking
- public static org.cpntools.accesscpn.model.Transition addTransition(org.cpntools.accesscpn.model.Page page, java.lang.String name)
page
- name
- public static org.cpntools.accesscpn.model.Transition addTransition(org.cpntools.accesscpn.model.Page page, java.lang.String name, java.lang.String guard)
page
- name
- guard
- 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)
p
- placesimulator
- highlevelsimulator to use for estractionpublic static org.cpntools.accesscpn.model.Page getRootPage(org.cpntools.accesscpn.model.PetriNet pn)
pn
- PetriNetpublic static org.cpntools.accesscpn.model.Place getSourcePlace(org.cpntools.accesscpn.model.Page page)
page
- Page to search inpublic 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)
page
- src
- tgt
- annotation
- public static java.lang.String getCPNParseError(java.lang.Exception e)