José N. Pereira, Porfírio Silva, Pedro U. Lima, Alcherio Martinoli. Formalizing institutions as executable petri nets for distributed robotic systems. In Tom Lenaerts, Mario Giacobini, Hugues Bersini, Paul Bourgine, Marco Dorigo, René Doursat, editors, Advances in Artificial Life: 20th Anniversary Edition - Back to the Origins of Alife, ECAL 2011, Paris, France, August 8-12, 2011. pages 646-653, MIT Press, 2011. [doi]
Abstract is missing.