1. Akin, H. L., Birk, A., Bonarini, A., Kraetzschmar, G., Lima, P., Nardi, D., Pagello, E., Reggiani, M., Saffiotti, A., Sanfeliu, A., & Spaan, M. (2008) White paper on network robot systems, and formal models and methods for cooperation. http://aass.oru.se/Agora/EuronCoop/Docs/SIG_CoopRob_WhitePaper.pdf .
2. Barbosa, M., Ramos, N., & Lima, P. (2007). MeRMaID - multiple-robot middleware for intelligent decision-making. In 6th IFAC symposium on intelligent autonomous vehicles IAV2007 Amsterdam: Elsevier.
3. Basu, A., Gallien, M., Lesire, C., Nguyen, T. H., Bensalem, S., Ingrand, F., & Sifakis, J. (2008). Incremental component-based construction and verification of a robotic system. In Proc. of the 2008 European conference on artificial intelligence (ECAI 2008) (24–29).
4. Bause, F., & Kritzinger, P. S. (2002). Stochastic Petri nets: an introduction to the theory (2nd edn.). Berlin: Vieweg Verlag.
5. Bernardinello, L., & Cindio, F. D. (1992). A survey of basic net models and modular net classes. In Advances in Petri nets 1992, the DEMON project (304–351). Berlin: Springer.