Extended D-timed Petri nets, timeouts, and analysis of communication protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Extended D-timed Petri nets, timeouts, and analysis of communication protocols

Full text

Pdf (581 KB)

Source

Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective table of contents

Denver, Colorado, United States

Pages: 10 - 15

Year of Publication: 1985

ISBN:0-89791-170-9

Author

Wlodzimierz M. Zuberek

Department of Computer Science, Memorial University of Newfoundland, St.John's, Newfoundland, Canada A1C 5S7

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 10, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/320435.320444 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	T. Agerwala, "Putting Petri nets to work"; IEEE Computer Magazine, vol.12, no.12, pp.85-94, 1979.
	2	Marco Ajmone Marsan , Gianni Conte , Gianfranco Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems (TOCS), v.2 n.2, p.93-122, May 1984 [doi>10.1145/190.191]
	3	B. Berthomieu, M. Menasche, "An enumerative approach for analyzing time Petri nets"; Information Processing 83, R.E.A. Mason (ed.), pp.41-45, IFIP 1983.
	4	W. Brauer (ed.), "Net theory and applications"; Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburh 1979; Lecture Notes in Computer Science 84, Springer Verlag 1980.
	5	M. Diaz, "Modeling and analysis of communication and cooperation protocols using Petri net based models"; Computer Networks, vol.6, no.6, pp.419-441, 1982.
	6	K. Garg, "An approach to performance specification of communication protocols using timed Petri nets"; Proc. 4-th International Conf. on Distributed Computer Systems, San Francisco CA, 1984.
	7	P.M. Merlin, D.J. Farber, "Recoverability of communication protocols - implications of a theoretical study"; IEEE Trans. on Communications, vol.24, no.9, pp.1036-1049, 1976.
	8	M.K. Molloy, "Performance analysis using stochastic Petri nets"; IEEE Trans. on Computers, vol.31, no.9, pp.913-917, 1982.
	9	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	10	C. Ramchandani, ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS, Massachusetts Institute of Technology, Cambridge, MA, 1974
	11	Rami R. Razouk, The derivation of performance expressions for communication protocols from timed petri net models, ACM SIGCOMM Computer Communication Review, v.14 n.2, p.210-217, June 1984
	12	Joseph Sifakis, Use of Petri Nets for Performance Evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, p.75-93, October 03-05, 1977
	13	W. M. Zuberek, Timed Petri nets and preliminary performance evaluation, Proceedings of the 7th annual symposium on Computer Architecture, p.88-96, May 06-08, 1980, La Baule, United States [doi>10.1145/800053.801913]
	14	W.M. Zuberek, "Application of timed Petri nets to analysis of multiprocessor realizations of digital filters"; Proc. 25 Midwest Symp. on Circuits and Systems, Houghton MI, 1982.