A component-based approach based on High-Level Petri Nets for modeling Distributed Control Systems
Résumé
The evaluation of using distributed systems DS in place of centralized systems has introduced the distribution of many services and applications over the network. However, this distribution has produced some problems such as the impacts of underlying networking protocols over the distributed applications and the control of the resources. In this paper we are interested particularly in manufacturing systems. Manufacturing systems are a class of distributed discrete event systems. These systems use the local industrial network to control the system. Several approaches are proposed to model such systems. However, most of these approaches are centralized models that do not take into account the underlying network. In this context, we propose the modeling of the distributed services and the underlying protocols with High-Level Petri Nets. Since the model is large, complex and therefore difficult to modify, we propose a component-based modeling approach. This approach allows the reuse of ready-to-use components in new models, which reduces the cost of development. To illustrate our approach and its reuse capabilities, we will implement it to model the link layer protocols of the norms IEEE 802.11b and IEEE802.3