User:Jpereira: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
Topics: | Topics: | ||
# Bio-Inst Project | # '''Bio-Inst Project''': Confirmed participation on further tasks of the Bio-Inst project, focusing on the tasks regarding institutional task and modeling. | ||
: 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. | ||
# Formalization of Institutions (PN work) | # '''Corridor Experiment''': current state | ||
: Presented initial ideas about formalization of institutions as Petri Net Plans and some examples using the corridor case-study. | |||
# Corridor Experiment | |||
: | |||
Revision as of 15:31, 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: current state