Minutes of meeting 5 Feb 2002

Meeting opened 1:00 pm

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

Discussion

• Invariant analysis - going ok apart from a small bug - sort out after meeting
• Have put together the demo editor and GUI. Open and Save XML are working.
• State space - half way through coding. Points to consider:
  • Hash table for storing/searching different markings
  • Java memory problems - can't rely on garbage collection happening fast enough - better to reuse state 'shells' rather than discard them and create new ones. Also speeds up by x2. (look into an equivalent of 'delete' in Java?)
  • Compaction of markings (rather than storing a vector of integers) - eg 1 byte per place?
  • Paper on a probabalistic state space exploration method, deals with the state space explosion problem - Stern & Dill 1995
• Petrinator?

To Do:

• Daniel: implement the "Add Place", etc functionality in the Editor
• Peter: subnets
• Raphael: continue with state space module
• Alex: continue with invariant analysis module
• Michelle: animator (highlight active transitions, click on transitions->fire)
• Tan: module interface

Meeting closed 1:25pm

Next meeting: Friday (8th Feb), 12:30pm in 345

Next meeting with Will: Friday (15th Feb), 12:30pm