Formalizing Institutions as Executable Petri Nets for Distributed Robotic Systems
Title: | Formalizing Institutions as Executable Petri Nets for Distributed Robotic Systems |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of ECAL 2011 - European Conference on Artificial Life, Paris, France |
URL : | /admin/admin.asp |
Year : | 2011 |
Authors : |
Porfirio Simões de Carvalho e Silva José Nuno Ferreira Maia Pereira A. Martinoli Pedro Manuel Urbano de Almeida Lima |
Lab : | Intelligent Robots and Systems Group (IRSg) |