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

Timed Petri Net

We can Calculate GCD

Petri Net hooked with Java Statements

Send a Msg to SISServer

Petri Net to Java Class File Make Stub File Compile Stub File To Generate Java Code 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).

The End