150 likes | 321 Views
ReNeW Reference Net Workshop. Presenter Yao Sun. The ReNeW Features. High-level Petri Nets (Support Predicate) Place/Transition Nets Petri Nets with Time Written in Java We Can Hook Java Statements. ReNeW Components. Graphical Editor Token Game Animation Fast Simulation
E N D
ReNeW Reference Net Workshop Presenter Yao Sun
The ReNeW Features • High-level Petri Nets (Support Predicate) • Place/Transition Nets • Petri Nets with Time • Written in Java • We Can Hook Java Statements
ReNeW Components • Graphical Editor • Token Game Animation • Fast Simulation • Interchange File Format (Support PNML) • Rapid Prototyping • Workflow Management System
Simple ReNeW Example • Tokens can be integers, floats, strings …
Petri Net with Variables • Variables cannot be reassigned during one transition firing
Petri Net to Java Class File Compile Stub File To Generate Java Code Make Stub File Compile Java Code
Possible Project • Implement an interface for user to specify SIS messages • Hook the interface into ReNeW’s implementation of Petri Nets • Then we can use ReNeW’s Petri Net model to design Components of the SIS System, with little effort it can turn into real code.
My Term Project • Current SIS System is limited under Windows Platform because of prjRemote • My term project is to rewrite the prjRemote part of the SIS System using Java
Possible Improvements • First, the Java version of the prjRemote will include messenger within it, thus if we want to load a batch of msgs, we don't need to start a messenger component separately.
Possible Improvements • Second, I would like to modify the way we edit msgs, I would like to remove the "Add Key","Delete Key"... buttons. Instead, users can edit on the msg pane directly. • Third, I would like to add an option for the refresh rate of the right pane(Msgs received by the SISServer).