Inhibitor D-Timed Petri Nets And Pereormance Analysis Of Communication Protocols
暂无分享,去创建一个
[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..