Skip navigation links
C D E G I L M O P R W 

C

COMMA - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
COMMENT - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
COMMENT - Static variable in class org.processmining.plugins.petrify.PetrifySGReader
 
convertToPetrinet(PluginContext, TransitionSystem) - Method in class org.processmining.plugins.petrify.PetrifyTS2Petrinet
 

D

decode(String) - Static method in class org.processmining.plugins.petrify.PetrifyConstants
Decodes the given string which comes from either Petrify and/or Genet.
DOT - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
DOT - Static variable in class org.processmining.plugins.petrify.PetrifySGReader
 
DUMMY - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

E

encode(String) - Static method in class org.processmining.plugins.petrify.PetrifyConstants
Encodes the given string which is to be used by either Petrify and/or Genet.
END - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
EQUALS - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

G

getFileExtension() - Static method in class org.processmining.plugins.petrify.PetrifyDotG
Returns the file extension (.g) for this file format.
getFileExtension() - Static method in class org.processmining.plugins.petrify.PetrifyDotSG
Returns the file extension (.sg) for this file format.
getInputStream() - Method in class org.processmining.plugins.petrify.PetrifyDotAny
Returns an input stream to this file.
getLength() - Method in class org.processmining.plugins.petrify.PetrifyDotAny
 
getName() - Method in class org.processmining.plugins.petrify.PetrifyDotAny
Gets the name of this file.

I

importFile(PluginContext, PetrifyDotG) - Method in class org.processmining.plugins.petrify.PetrifyImportDotG
Imports a Petri net from a Petrify/Genet Petri net file.
importFile(PluginContext, PetrifyDotSG) - Method in class org.processmining.plugins.petrify.PetrifyImportDotSG
Imports a Petri net from a Petrify/Genet Petri net file.
importFromStream(PluginContext, InputStream, String, long) - Method in class org.processmining.plugins.petrify.PetrifyImportDotG
Imports a Petri net from a Petrify/Genet Petri net stream, given the associated file name and size.
importFromStream(PluginContext, InputStream, String, long) - Method in class org.processmining.plugins.petrify.PetrifyImportDotSG
Imports a Petri net from a Petrify/Genet Petri net stream, given the associated file name and size.
INPUTS - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
INTERNAL - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

L

LPAREN - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

M

MARKING - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
MARKING - Static variable in class org.processmining.plugins.petrify.PetrifySGReader
 
MODEL - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 
MODEL - Static variable in class org.processmining.plugins.petrify.PetrifySGReader
 

O

org.processmining.plugins.petrify - package org.processmining.plugins.petrify
 
OUTPUTS - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

P

PetrifyConstants - Class in org.processmining.plugins.petrify
Encoding and decoding strings for Petrify and Genet.
PetrifyConstants() - Constructor for class org.processmining.plugins.petrify.PetrifyConstants
 
PetrifyDotAny - Class in org.processmining.plugins.petrify
Generic support for both file formats supported by Petrify and Genet: 1.
PetrifyDotG - Class in org.processmining.plugins.petrify
Support for the Petrify/Genet Petri net file format (.g).
PetrifyDotG(String) - Constructor for class org.processmining.plugins.petrify.PetrifyDotG
Creates a, say handle, to the file with the given absolute path.
PetrifyDotSG - Class in org.processmining.plugins.petrify
Support for the Petrify/Genet state graph file format (.sg).
PetrifyDotSG(String) - Constructor for class org.processmining.plugins.petrify.PetrifyDotSG
Creates a, say handle, to the file with the given absolute path.
PetrifyExportDotSG - Class in org.processmining.plugins.petrify
Supports the export of a transition system to a Petrify/Genet state graph file.
PetrifyExportDotSG() - Constructor for class org.processmining.plugins.petrify.PetrifyExportDotSG
 
PetrifyGReader - Class in org.processmining.plugins.petrify
Supports the reading of a Petri net from a Petrify/Genet Petri net file.
PetrifyGReader() - Constructor for class org.processmining.plugins.petrify.PetrifyGReader
Creates a new reader.
PetrifyImportDotG - Class in org.processmining.plugins.petrify
Supports the import of a Petri net from a Petrify/Genet Petri net file.
PetrifyImportDotG() - Constructor for class org.processmining.plugins.petrify.PetrifyImportDotG
 
PetrifyImportDotSG - Class in org.processmining.plugins.petrify
Supports the import of a Petri net from a Petrify/Genet Petri net file.
PetrifyImportDotSG() - Constructor for class org.processmining.plugins.petrify.PetrifyImportDotSG
 
PetrifySGReader - Class in org.processmining.plugins.petrify
Supports the reading of a Transition System from a .sg file
PetrifySGReader() - Constructor for class org.processmining.plugins.petrify.PetrifySGReader
 
PetrifyTS2Petrinet - Class in org.processmining.plugins.petrify
 
PetrifyTS2Petrinet() - Constructor for class org.processmining.plugins.petrify.PetrifyTS2Petrinet
 

R

read(InputStream, Petrinet, Marking) - Method in class org.processmining.plugins.petrify.PetrifyGReader
Reads a Petri net and its initial marking from the given input stream.
read(InputStream, TransitionSystem, StartStateSet) - Method in class org.processmining.plugins.petrify.PetrifySGReader
Reads a Petri net and its initial marking from the given input stream.
RPAREN - Static variable in class org.processmining.plugins.petrify.PetrifyGReader
 

W

write(PluginContext, TransitionSystem) - Method in class org.processmining.plugins.petrify.PetrifyExportDotSG
Write the given transition to a temp file and returns a handle to this file.
write(PluginContext, TransitionSystem, File) - Method in class org.processmining.plugins.petrify.PetrifyExportDotSG
Writes the given transition system to the given file.
C D E G I L M O P R W 
Skip navigation links