Uses of Class
org.jbpt.petri.NetSystem

Packages that use NetSystem

Package	Description
org.jbpt.petri.behavior
org.jbpt.petri.io

Uses of NetSystem in org.jbpt.petri.behavior

Methods in org.jbpt.petri.behavior that return NetSystem

Modifier and Type	Method and Description
NetSystem	ConcurrencyRelation.getNet() Get the Petri net.

Methods in org.jbpt.petri.behavior with parameters of type NetSystem

Modifier and Type	Method and Description
static LolaSoundnessCheckerResult	LolaSoundnessChecker.analyzeSoundness(NetSystem net) Uses the LoLA service to check the soundness of the given PetriNet.
void	LolaSoundnessCheckerResult.parseResult(String lolaResponse, NetSystem analyzedNet) Parses the response from LoLA.

Constructors in org.jbpt.petri.behavior with parameters of type NetSystem

Constructor and Description
ConcurrencyRelation(NetSystem sys) Create a concurrency relation for a given Petri net.

Uses of NetSystem in org.jbpt.petri.io

Methods in org.jbpt.petri.io that return NetSystem

Modifier and Type	Method and Description
NetSystem	PNMLSerializer.parse(byte[] pnmlContent) Parses a NetSystem out of the given PNML XML-File.
static NetSystem	WoflanSerializer.parse(File file)
NetSystem	PNMLSerializer.parse(String file) Parses a NetSystem out of a predefined PNML-file

Methods in org.jbpt.petri.io with parameters of type NetSystem

Modifier and Type	Method and Description
static void	WoflanSerializer.serialize(File file, NetSystem sys)
static Document	PNMLSerializer.serialize(NetSystem net) Serializes the given PetriNet to PNML and returns the according Document object.
static Document	PNMLSerializer.serialize(NetSystem net, int tool) Serializes the given PetriNet to PNML and returns the according Document object.
static String	PNMLSerializer.serializePetriNet(NetSystem net) Creates a PNML XML string from the given PetriNet.
static String	PNMLSerializer.serializePetriNet(NetSystem net, int tool) Creates a PNML XML string from the given PetriNet.