|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpetri_jfern.PNJFern
public class PNJFern
The Class PNJFern parses a VANTED Petri net into a rakiura Petri net, performs all simulation operations and writes the marking for each simulation step into a file (if enabled).
Constructor Summary | |
---|---|
PNJFern()
|
Method Summary | |
---|---|
void |
colorEnabledTransitions(boolean color)
Color enabled transitions. |
Library |
createLibI(PetriNet petriNet)
Creates the library. |
void |
fire(Transition transition)
Fire. |
void |
fireTransition(Transition transition)
Fire transition. |
void |
fireTransitions(java.util.List<Transition> transitions)
Fire transitions. |
static int |
getCountIntegerToken(org.rakiura.cpn.Multiset multiset)
Gets the number of discrete tokens. |
double[] |
getMarking()
Gets the marking. |
Marking |
getMarking2()
Gets the marking2. |
Simulator |
getSimulator()
Gets the simulator. |
void |
highlightEnabledTransitionsDelay(int ms)
Highlight enabled transitions delay. |
boolean |
isEnabled(Transition transition)
Checks if is enabled. |
void |
notify(org.rakiura.cpn.event.TransitionEvent arg0)
|
void |
notify(org.rakiura.cpn.event.TransitionFinishedEvent arg0)
|
void |
notify(org.rakiura.cpn.event.TransitionStartedEvent arg0)
|
void |
notify(org.rakiura.cpn.event.TransitionStateChangedEvent arg0)
|
Library |
parse2Lib(PetriNet pn)
Parse to library. |
org.rakiura.cpn.Net |
parsePN2JFERN(PetriNet pn)
Parses the VANTED Petri net into a rakiura Petri net. |
void |
run()
Run. |
void |
run(int steps)
Run. |
void |
setEnabledTransitionColor(java.awt.Color enabledTransitionColor)
Sets the enabled transition color. |
void |
showTokenFlow(boolean show)
Show token flow. |
void |
step(boolean finished)
Step. |
void |
stop()
Stop. |
void |
write2File(boolean write)
Write2 file. |
void |
writeBackNewMarkingToPetriNet(boolean finished)
Write new marking from rakiura Petri net to VANTED Petri net. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PNJFern()
Method Detail |
---|
public org.rakiura.cpn.Net parsePN2JFERN(PetriNet pn)
pn
- the pn (vanted)
public void writeBackNewMarkingToPetriNet(boolean finished)
finished,
- false writes only token to changed places; true writes token to all placespublic double[] getMarking()
Library
getMarking
in interface Library
public static int getCountIntegerToken(org.rakiura.cpn.Multiset multiset)
multiset
- the multiset
public void notify(org.rakiura.cpn.event.TransitionStateChangedEvent arg0)
public void notify(org.rakiura.cpn.event.TransitionFinishedEvent arg0)
public void notify(org.rakiura.cpn.event.TransitionStartedEvent arg0)
public void notify(org.rakiura.cpn.event.TransitionEvent arg0)
public void run()
PetriNetListener
run
in interface PetriNetListener
public void run(int steps)
PetriNetListener
run
in interface PetriNetListener
steps
- the stepspublic void stop()
PetriNetListener
stop
in interface PetriNetListener
public void step(boolean finished)
SimulatorListener
step
in interface SimulatorListener
finished
- the last steppublic void fire(Transition transition)
TransitionListener
fire
in interface TransitionListener
transition
- the transitionpublic void fireTransitions(java.util.List<Transition> transitions)
Library
fireTransitions
in interface Library
transitions
- the transitionspublic boolean isEnabled(Transition transition)
TransitionListener
isEnabled
in interface TransitionListener
transition
- the transition
public Library parse2Lib(PetriNet pn)
Library
parse2Lib
in interface Library
pn
- the petri net
public Marking getMarking2()
Library
getMarking2
in interface Library
public void fireTransition(Transition transition)
Library
fireTransition
in interface Library
transition
- the transitionpublic Simulator getSimulator()
Library
getSimulator
in interface Library
public Library createLibI(PetriNet petriNet)
petriNet
- the petri net
public void highlightEnabledTransitionsDelay(int ms)
Library
highlightEnabledTransitionsDelay
in interface Library
ms
- the mspublic void showTokenFlow(boolean show)
Library
showTokenFlow
in interface Library
show
- the showpublic void write2File(boolean write)
Library
write2File
in interface Library
write
- the writepublic void setEnabledTransitionColor(java.awt.Color enabledTransitionColor)
Library
setEnabledTransitionColor
in interface Library
enabledTransitionColor
- the new enabled transition colorpublic void colorEnabledTransitions(boolean color)
Library
colorEnabledTransitions
in interface Library
color
- the color
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |