Juan Guillen Scholten Farhad Arbab Frank S. de Boer Marcello M. Bonsangue Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. 121-138 2006 154 Electr. Notes Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.entcs.2005.12.036 db/journals/entcs/entcs154.html#Guillen-ScholtenABB06