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

References

• Agerwala, T. (1979) “Putting Petri nets to work,” IEEE Computer Magazine, 12: 12, 85–94
   Google Scholar
• Ajmone Marsan, M., G. Conte, and G. Balbo (1984) “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans, on Computer Systems, 2: 2, 93–122
   Google Scholar
• Brauer, W. (ed.) (1980) “Net theory and applications,” Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84, Springer-Verlag
   Google Scholar
• Berthelot, G. and R. Terrat (1982) “Petri nets theory for the correctness of protocols,” IEEE Trans, on Communications, 30: 12, 2497–505
   Google Scholar
• Berthomieu, B. and M. Menasche (1983) “An enumerative approach for analyzing time Petri nets,” in R.E.A. Mason (ed.). Information Processing 83, North-Holland
   Google Scholar
• von Bochmann, G. and C.A. Sunshine (1982) “A survey of formal methods,” in: P.E. Green, Jr (ed.), Computer Network Architectures and Protocols. Plenum Press
   Google Scholar
• Danthine, A.A.S. (1982) “Protocol representation with finite state models,” in: P.E. Green, Jr (ed.) Computer Network Architectures and Protocols. Plenum Press
   Google Scholar
• Diaz, M. (1982) “Modeling and analysis of communication and cooperation protocols using Petri net based models,” Computer Networks, 6: 6, 419–41
   Google Scholar
• Ferrari, D. (1981) Computer Systems Performance Evaluation. Prentice-Hall
   Google Scholar
• Garg, K. (1984) “An approach to performance specification of communication protocols using timed Petri nets,” Proc. 4th Int. Conf. on Distributed Computer Systems, San Francisco CA
   Google Scholar
• Jurgensen, W. and S.T. Vuong (1984) “Formal specification and validation of ISO transport protocol components using Petri nets,” Computer Communication Review, 14, 2, 75–82
   Google Scholar
• Kleinrock, L. (1975, 1976) Queueing systems, vol.1: Theory; vol.2: Computer applications. J. Wiley & Sons
   Google Scholar
• Merlin, P.M. and D.J. Farber, (1976) “Recoverability of communication protocols - implications of a theoretical study,” IEEE Trans, on Communications, 24: 1036–49
   Google Scholar
• Pattavina, A. and S. Trigila (1984) “Combined use of finite-state machines and Petri nets for modelling communicating processes,” Electronics Letters, 20: 22, 915–16
   Google Scholar
• Peterson, J.L. (1981) Petri Net Theory and the Modeling of Systems. Prentice-Hall
   Google Scholar
• Ramchandani, C. (1974) “Analysis of asynchronous concurrent systems by timed Petri nets,” Project MAC Technical Report MAC-TR-120, Massachusetts Institute of Technology, Cambridge MA
   Google Scholar
• Razouk, R.R. (1984) “The derivation of performance expressions for communication protocols from timed Petri nets,” Computer Communication Review, 14: 2, 210–17
   Google Scholar
• Rudin, H. and CH. West (eds) (1983) “Protocol Specification, Testing and Verification m” Proc. ofthe IFIP WG 6.1 Third Intemational Workshop, Ruschlikon, Switzerland. North-Holland
   Google Scholar
• Schultz, G.D., D.B. Rose, CH. West, and J.P. Gray (1982) “Executable representation and validation of SNA"; in P.E. Green, Jr (ed.). Computer Network Architectures and Protocols. 671–705, Plenum Press
   Google Scholar
• Sifakis, J. (1977) “Use of Petri nets for performance evaluation,” in Measuring, Modelling and Evaluating Computer Systems. North-Holland
   Google Scholar
• Yemini, Y. and J.F. Kurose (1982) “Towards the unification of the functional and performance analysis of protocols or, is the alternating-bit protocol really correct,” in C. Sunshine (ed.) Protocol Specification Testing and Verification II. North-Holland
   Google Scholar
• Zuberek, W.M. (1980) “Timed Petri nets and preliminary performance evaluation,” Proc. IEEE 7th Annual Symp. on Computer Architecture, La Baule, France
   Google Scholar
• (1982) “Application of timed Petri nets to analysis of multiprocessor realizations of digital filters,” Proc. 25 Midwest Symp. on Circuits and Systems, Houghton MI
   Google Scholar
• (1985) “Performance evaluation using extended timed Petri nets,” Proc. Int. Workshop on Timed Petri Nets, Torino, Italy
   Google Scholar