Sciweavers

ENTCS
2006
109views more  ENTCS 2006»
13 years 11 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...