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.

Contador    Since July 2003