Minutes of meetings 11 Dec 2001

Meeting with wjk at 1pm

Present: William Knottenbelt, Raphael Goldberg, Peter Howarth, Daniel Justice, Michelle Osmond, Zhu Tan, Aleksandar Trifunovic

Everyone given a copy of "Stochastic Petri Nets" (Bause & Kritzinger) to read over the Christmas break. Particularly:
- Chapters 4, 7, 8.
- Chapters 5 (Coloured Petri Nets) and 9 (Queueing Petri Nets) for further extensions to project
Look up Petri net programs, try them out and see what are good/bad features, eg Renew (good interface).
njd200 did a Petri net individual project last year.
Look into PNML, Petri Net Markup Language.
General points on the project:
- petri nets: basic types and time dependent types
- analysis:
  - correctness: eg invariant analysis (structural analysis), state graph (deadlock, livelock, boundedness, home states)
  - performance: eg simulator (collects statistics), Markov chain analyser (use existing or write our own), response time analysis (advanced), queueing network analyser (ambitious)
- animation to show how petri net works.
- linking analysis back, eg showing how deadlock happens
- modularity, pluggable - ability to add modules while the program is running, so they appear as new menu options - need Java reflection.
- hierarchical subnets - including a subnet interface
Next term: decide on OMT diagram and what functionality to include.

Present: Raphael Goldberg, Peter Howarth, Daniel Justice, Michelle Osmond, Zhu Tan, Aleksandar Trifunovic