In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. A communication network system can be considered as a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals, (therefore belong to the class of dynamical systems known as discrete event systems). Place-transitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool that can be applied to the communication network system in order to represent its states evolution. Petri nets are known to be useful for analyzing the systems properties in addition of being a paradigm for describing and studying information processing systems. Timed Petri nets are an extension of Petri nets, where now the timing at which the state changes are taken into consideration. This is of critical importance since it allows considering useful measures of performance as for example: how long does the communication network system spends at a given state etc. For a detailed discussion of Petri net theory see [1] and the references quoted therein. One of the most important performance issues to be considered in a communication network system is its stability. Lyapunov stability theory provides the required tools needed to aboard the stability problem for communication network systems modeled with timed Petri nets whose mathematical model is given in terms of difference equation. By proving practical stability one is allowed to preassigned the bound on the communication network systems dynamics performance. Moreover, employing Lyapunov methods, a sufficient condition for the stabilization problem is also obtained. It is shown that it is possible to restrict the communication network systems state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model. The paper is organized as follows. In Section 2, Lyapunov theory for discrete event systems modeled with Petri nets is given. Section 3 presents max-plus algebra. In Section 4, the solution to the stability problem for discrete event systems modeled with timed Petri nets is considered. Finally, in Section 5 the modeling and stability analysis for communication network systems is addressed. Some conclusion remarks are also provided.

NOTATION:, ,. Given, is equivalent to. A function, is called nondecreasing in x if given such that and then,. Consider systems of first ordinary difference equations given by

where, and is continuous in.

Definition 1. The n vector valued function is said to be a solution of (1) if and for all.

Definition 2. The system (1) is said to be practically stable, if given with, then.

Definition 3. A continuous function is said to belong to class if and it is strictly increasing.

Consider a vector Lyapunov function, and define the variation of v relative to (1) by

Then, the following result concerns the practical stability of (1).

Theorem 4. Let be a continuous function in x, define the function such that satisfies the estimates

for, , where is a continuous function in the second argument. Assume that: is nondecreasing in e, are given and finally that is satisfied. Then, the practical stability properties of

imply the practical stability properties of system (1).

Corollary 5. In Theorem (4): if we get uniform practical stability of (1) which implies structural stability.

Definition 6. A Petri net is a 5-tuple, where: is a finite set of places, is a finite set of transitions, is a set of arcs, is a weight function,: is the initial marking, and.

Definition 7. The clock structure associated with a place is a set of clock sequences

The positive number, associated to, called holding time, represents the time that a token must spend in this place until its outputs enabled transitions fire. We partition P into subsets and, where is the set of places with zero holding time, and is the set of places that have some holding time.

Definition 8. A timed Petri net is a 6-tuple where are as before, and is a clock structure. A timed Petri net is a timed event Petri net when every has one input and one output transition, in which case the associated clock structure set of a place reduces to one element

Notice that if (or) then, this is often represented graphically by, () arcs from p to t (t to p) each with no numeric label.

Let denote the marking (i.e., the number of tokens) at place at time k and let denote the marking (state) of PN at time k. A transition is said to be enabled at time k if for all such that. It is assumed that at each time k there exists at least one transition to fire. If a transition is enabled then, it can fire. If an enabled transition fires at time k then, the next marking for is given by

Let denote an matrix of integers (the incidence matrix) where with and. Let denote a firing vector where if is fired then, its corresponding firing vector is with the one in the position in the vector and zeros everywhere else. The nonlinear difference matrix equation describing the dynamical behavior represented by a PN is:

where if at step k, for all then, is enabled and if this fires then, its corresponding firing vector is utilized in the difference equation to generate the next step. Notice that if can be reached from some other marking M and, if we fire some sequence of d transitions with corresponding firing vectors we obtain that

Let be a metric space where is defined by and consider the matrix difference equation which describes the dynamical behavior of the discrete event system modeled by a PN, see (7).

Proposition 9. Let PN be a Petri net. PN is uniform practical stable if there exists a strictly positive m vector such that

Moreover, PN is uniform practical asymptotic stable if the following equation holds

Lemma 10. Let suppose that Proposition (9) holds then,

Remark 11. Notice that since the state space of a TPN is contained in the state space of the same now not timed PN, stability of PN implies stability of the TPN.

Definition 12. Let PN be a Petri net. PN is said to be stabilizable if there exists a firing transition sequence with transition count vector u such that system (7) remains bounded.

Proposition 13. Let PN be a Petri net. PN is stabilizable if there exists a firing transition sequence with transition count vector u such that the following equation holds

Remark 14. By fixing a particular u, which satisfies (11), the state space is restricted to those markings that are finite.

Definition 34. A TPN is said to be stable if all the transitions fire with the same proportion i.e., if there exists such that

This means that in order to obtain a stable TPN all the transitions have to be fired q times. It will be desirable to be more precise and know exactly how many times. The answer to this question is given next.

Lemma 35. Consider the recurrence relation, arbitrary. A an irreducible matrix and its eigenvalue then,

Proof. Let v be an eigenvector of A such that then, .

Now starting with an unstable TPN, collecting the results given by: proposition (13), what has just been discussed about recurrence equations for TPN at the end of subsection (3.3) and the previous lemma (35) plus theorem (30), the solution to the problem is obtained.

In this section, the modeling and stability analysis for a communication network system is addressed. The communication network system consists of a transmitter which sends messages through a communication channel to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. Consider a communication network system whose TPN model is depicted in Figure 1.

Where the events (transitions) that drive the system are: q: receivers connect to the communication network, s: messages are sent, b: the transmitter breaks, r: the transmission is restored, d: the message has been successfully received. The places (that represent the states of the queue) are: A: receivers concentrating, P: the receiver is waiting for a message to be sent, B: the message is being received, D: transmitter breaks down, I: the transmitter is idle. The holding times associated to the places A and I are and respectively (with). The incidence matrix that represents the model is

Therefore since there does not exists a strictly positive m vector such that the sufficient condition for stability is not satisfied, (moreover, the () is unbounded since by the repeated firing of q, the marking in P grows indefinitely). However, by taking (but unknown) we get that Therefore, the is stabilizable which implies that the is stable. Now, let us proceed to determine the exact value of k. From the model we obtain that:

and which implies

leading to:

Therefore,. This means that in order for the to be stable and work properly the speed at which the receivers concentrate has to be equal to (the firing speed of transition q) which is attained by taking.

This paper studies the modeling and stability problem for communication network systems using timed Petri nets, Lyapunov methods and max-plus algebra. The results obtained are consistent to what was expected.

Zvi Retchkiman Königsberg, (2015) Modeling and Stability Analysis of a Communication Network System. Journal of Computer and Communications,03,176-183. doi: 10.4236/jcc.2015.311028