User:Jpereira
Meeting Summaries
October 8, 2010
Summary of meeting between Prof. Pedro Lima and José Nuno Pereira on October 8, 2010.
Topics:
- Bio-Inst Project: Confirmed participation on further tasks of the Bio-Inst project, focusing on the tasks regarding institutional task and modeling.
- Formalization of Institutions (PN work): Presented initial ideas about formalization of institutions as Petri Net Plans and some examples using the corridor case-study.
- Corridor Experiment: current state