Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets