ReNeW Reference Net Workshop

PresenterYao 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