Package | Description |
---|---|
fr.lip6.move.pnml.framework.utils | |
fr.lip6.move.pnml.pnmlcoremodel.hlapi |
Modifier and Type | Method and Description |
---|---|
HLAPIRootClass |
ModelRepository.getCurrentHLAPIRootClass()
Returns the root class associated to the current model in the current
workspace.
|
HLAPIRootClass |
ModelRepositoryUnit.getPetriNetDoc() |
static HLAPIRootClass |
PNMLUtils.importPnmlDocument(File file,
boolean fallback)
Imports a PNML document using PNML Framework.
|
Modifier and Type | Method and Description |
---|---|
static String |
PNMLUtils.createDocumentWorkspace(String workspaceId,
HLAPIRootClass petriNetDoc)
Creates a new model (PetriNetDoc) workspace in PNML Framework
ModelRepository , with a PetriNetDoc associated, as
HLAPIRootClass . |
String |
ModelRepository.createDocumentWorkspace(String docWorkspaceId,
HLAPIRootClass petriNetDoc)
Creates a new model workspace into the repository, with a PetriNetDoc
associated, as
HLAPIRootClass . |
String |
ModelRepository.createModelWorkspace(String modelId,
HLAPIRootClass petriNetDoc)
Deprecated.
|
static PNType |
PNMLUtils.determinePNType(HLAPIRootClass imported)
Determines the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries).
|
static String |
PNMLUtils.exportPetriNetDocToPNML(HLAPIRootClass object,
String filepath)
Creates a PNML file and store in that file the contents from a
PetriNetDocHLAPI object.
|
static boolean |
PNMLUtils.isCoreModelDocument(HLAPIRootClass imported)
Determine if the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries) is Core Model.
|
static boolean |
PNMLUtils.isHLPNDocument(HLAPIRootClass imported)
Determine if the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries) is High-level Petri
Net.
|
static boolean |
PNMLUtils.isPTHLPNDocument(HLAPIRootClass imported)
Determine if the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries) is P/T Net in
high-level notation (P/T as HLPN Graph).
|
static boolean |
PNMLUtils.isPTNetDocument(HLAPIRootClass imported)
Determine if the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries) is Place/Transition
Net.
|
static boolean |
PNMLUtils.isSymNetDocument(HLAPIRootClass imported)
Determine if the imported Petri Net Document type (a type of
PetriNetDocHLAPI from one of the PN type libraries) is Symmetric Net.
|
void |
ModelRepository.setCurrentHLAPIRootClass(HLAPIRootClass hrc)
Sets the provided PetriNet Document (PetriNetDocHLAPI of a PN Type) as HLAPIRootClass
associated to the current active workspace.
|
void |
ModelRepositoryUnit.setPetriNetDoc(HLAPIRootClass thePetriNetDoc) |
Constructor and Description |
---|
ModelRepositoryUnit(IdRepository theIdrep,
HLAPIRootClass thePetriNetDoc)
Default constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
PetriNetDocHLAPI |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.