In the last few years, communication systems have been developed in fast manner. 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 networking protocols over the distributed applications and the control of the network resources. A major problem of such systems is the evaluation of their performance at the design stage.

We propose a modeling approach that answers all the constraints of communication protocols. More particularly, we address constraints such as timing and synchronization that are important in distributed systems. We also take the probabilistic and stochastic requirements into consideration for the bit rate errors and the transmission depending on the services. Another constraint is to be able to analyze the impact of other traffics on a specific one between two workstations.

In our modeling methodology, these systems are modeled using Petri nets. In this context, we propose an approach for modeling network protocols based on Oriented Object Petri Nets. Our ultimate objective is to assess by means of simulations the performances of such a system. The main difficulties of the modeling phase of a system are generally due to its size and the precision of the model one wants to obtain. One of the methods to overcome such problem is the use of generic and modular modeling which consists of dividing the model into small reusable components and to deal with them separately.

In this study, we are implementing a component-based approach designed to encourage the reuse when modeling new network protocols. Such model can help in better managing services and protocols and to easily change a system element without affecting the other elements. Moreover, it can help us to study other properties of the system such as functionality, validation and any qualitative or quantitative property. 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 IEEE 802.3. Our approach proposes reusable components for features such as backoff, access to the channel or reception of data.

Title

Petri nets

Publisher

INTECH Open Access Publisher

Publisher Country

United Kingdom

Publication Type

Both (Printed and Online)

Volume

--

Year

2010

Pages

393-420