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)