sem-sunReNew

Download Report

Transcript sem-sunReNew

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