Software Engineering
(Jie Wu)
Petri Net Applications
Forming General Petri net
modeling techniques.
Conceptualizing
the use of Petri
nets for deadlock avoidance.
Software Design Using SA/RT and Extended Petri Nets (with Dr. R. France)
Development of
a set of transformation
rules from an informal model (SA/RT) to a formal model (Petri nets).
Development of
an extended Petri
net model that includes data flow.
Since July 2003 |