Petri net and its applications in software systems

PhD Qualifying Examination


Title: "Petri net and its applications in software systems"

by

Mr. Peng LIU


Abstract:

The software systems are getting more complex and bugs are easily
hatched. Bugs, especially for the concurrent systems, are hard to detect
because they only manifest themselves under rare circumstances. Even
when detected, they are hard to be fixed correctly while preserving the
efficiency. It is necessary to have theoretical foundations in order to
achieve the safety and high performance guarantee in the bug treatment.
In this spirit, we resort to the petri net theory, which has been
applied greatly in the discrete event dynamic systems (DES). Our goal is
to use the petri net to model software and treat the bugs with the
well-founded petri net theory or DES theory. In this report, we survey
the common properties and studying techniques of the petri net, then we
study the previous work in the software systems using them, finally, we
identify several research problems which can be potentially solved.


Date:                   Tuesday, 3 January 2012

Time:                   1:30am - 3:30pm

Venue:                  Room 3501
                         lifts 25/26

Committee Members:	Dr. Charles Zhang (Supervisor)
                         Prof. Shing-Chi Cheung (Chairperson)
 			Dr. Lei Chen
 			Dr. Sunghun Kim


**** ALL are Welcome ****