Inhibitor D-Timed Petri Nets And Pereormance Analysis Of Communication Protocols

AbstractIt is shown that the behaviour of inhibitor free-choice Petri nets with deterministic firing times can be represented by probabilistic state graphs. For bounded petri nets the corresponding state graphs are finite, and stationary descriptions can thus be obtained by standard techniques used for analysis of Markov chains. An immediate application of such a model is jseri^ormance analysis of systems of asynchronous concurrent processes and, in particular, communicatioii protocols. Places of Petri nets model queues of messages, transitions represent events in communication networks, inhibitor arcs are used to indicate priorities of simultaneous events, and probabilities associated with free-choice classes correspond to relative frequencies of random events. The alternating bit protocol is used as an illustration of analysis.

[1]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[2]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[3]  Kumkum Garg.  An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets , 1985, IEEE Transactions on Software Engineering.

[4]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[5]  S. Trigila,et al.  Combined use of finite-state machines and petri nets for modelling communicating processes , 1984 .

[6]  Son T. Vuong,et al.  Formal specification and validation of ISO transport protocol components, using petri nets , 1984, Computer Communication Review.

[7]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[10]  Harry Rudin,et al.  Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 , 1983 .

[11]  Rami R. Razouk,et al.  The derivation of performance expressions for communication protocols from timed petri net models , 1984, Comput. Commun. Rev..