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