public class Pnml extends PnmlElement
Modifier and Type | Class and Description |
---|---|
static class |
Pnml.PnmlType
Type of PNML: either PNML or EPNML.
|
Modifier and Type | Field and Description |
---|---|
static int |
PHASE_ARCS |
static int |
PHASE_DEREFNODES |
static int |
PHASE_NODES |
static int |
PHASE_REFNODES |
static java.lang.String |
TAG
PNML tag.
|
factory, lineNumber, tag
Constructor and Description |
---|
Pnml()
Creates a fresh default PNML object, that is, a PNML object of type PNML.
|
Pnml(Pnml.PnmlType type)
Creates a fresh PNML object, given the type.
|
Modifier and Type | Method and Description |
---|---|
Pnml |
convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
convertFromNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
convertToNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts the PNML object to a Petri net and initial marking.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports the child elements to String.
|
java.lang.String |
getLabel() |
org.deckfour.xes.model.XLog |
getLog() |
Pnml.PnmlType |
getType()
Gets the type.
|
boolean |
hasErrors() |
boolean |
hasModule() |
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
void |
log(java.lang.String context,
int lineNumber,
java.lang.String message)
Adds a log event to the current trace in the log.
|
void |
logNet(java.lang.String name)
Adds a new trace with the given name to the log.
|
void |
setLayout(PetrinetGraph net,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
setName(java.lang.String name) |
void |
setType(Pnml.PnmlType type)
Set the type of this PNML object.
|
checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory
public static final java.lang.String TAG
public static final int PHASE_NODES
public static final int PHASE_DEREFNODES
public static final int PHASE_REFNODES
public static final int PHASE_ARCS
public Pnml(Pnml.PnmlType type)
type
- Either PNML or EPNML.public Pnml()
public boolean hasModule()
public org.deckfour.xes.model.XLog getLog()
public void log(java.lang.String context, int lineNumber, java.lang.String message)
context
- Context of the message, typically the current PNML tag.lineNumber
- Current line number.message
- Error message.public void logNet(java.lang.String name)
name
- The give name.public boolean hasErrors()
public void setType(Pnml.PnmlType type)
type
- Either PNML or EPNML.public Pnml.PnmlType getType()
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlElement
public void convertToNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)
net
- Where to store the Petri net in (should be a fresh net).marking
- Where to store the initial marking in (should be a fresh
marking).public void convertToNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, org.processmining.models.connections.GraphLayoutConnection layout)
public void setLayout(PetrinetGraph net, org.processmining.models.connections.GraphLayoutConnection layout)
public java.lang.String getLabel()
public Pnml convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets, org.processmining.models.connections.GraphLayoutConnection layout)
public Pnml convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets, java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets, org.processmining.models.connections.GraphLayoutConnection layout)
public Pnml convertFromNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)
public Pnml convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, org.processmining.models.connections.GraphLayoutConnection layout)
public Pnml convertFromNet(PetrinetGraph net, Marking marking, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
public Pnml convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
public void setName(java.lang.String name)