1. ReNeW Reference Net Workshop Presenter Yao Sun

2. The ReNeW Features  High-level Petri Nets (Support Predicate)  Place/Transition Nets  Petri Nets with Time  Written in Java  We Can Hook Java Statements

3. ReNeW Components  Graphical Editor  Token Game Animation  Fast Simulation  Interchange File Format (Support PNML)  Rapid Prototyping  Workflow Management System

4. Simple ReNeW Example  Tokens can be integers, floats, strings …

5. Petri Net with Variables  Variables cannot be reassigned during one transition firing

6. Timed Petri Net

7. We can Calculate GCD

8. Petri Net hooked with Java Statements

9. Send a Msg to SISServer

10. Petri Net to Java Class File Make Stub File Compile Stub File To Generate Java Code Compile Java Code

11. 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.

12. 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

13. 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.

14. 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).

15. The End