User:Jpereira: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
# Bio-Inst Project | # Bio-Inst Project | ||
: Confirmed participation | : 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 | # Corridor Experiment | ||
: | |||
Revision as of 15:29, 16 November 2010
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