Graphics Programs Reference
In-Depth Information
[60] C. Ramchandani.
Analysis of Asynchronous Concurrent Systems by
Timed Petri Nets.
PhD thesis, MIT, Cambridge, MA, 1974.
Ph.D.
Thesis.
[61] C. L. Seitz.
Concurrent VLSI architectures.
IEEE Transactions on
Computers, 33(12), December 1984.
[62] S.M. Shatz and W.K. Cheng. A Petri net framework for automated
static analysis of Ada tasking. The Journal of Systems and Software,
8:343-359, October 1987.
[63] J. Sifakis.
Petri nets for performance evaluation.
In H. Beilner and
E. Gelenbe, editors, Proc. 3
rd
Intern. Symp. IFIP, pages 75-93, 1978.
[64] M. Silva. Las Redes de Petri en la Automatica y la Informatica. Edi-
torial AC, Madrid, Spain, 1985. (in Spanish).
[65] M. Silva and R. Valette. Petri Nets and Flexible Manufacturing Sys-
tems. In Grzegorz Rozenberg, editor, Advances In Petri Nets 1989.
Springer Verlag, 1989.
[66] F. J. W. Symons. Modeling and Analysis of Communication Protocols
Using Numerical Petri Nets.
PhD thesis, University of Essex, May
1978.
[67] H. Takagi. Analysis of Polling Systems. MIT Press, Cambridge, MA,
USA, 1986.
[68] H. Takagi. A bibliography on the analysis and applications of polling
models. In Proc. International Workshop on the Analysis of Polling
Models, Kyoto, Japan, December 1988.
[69] H. Takagi. A survey of queueing analysis of polling schemes. In L. F.
de Moraes, E. de Souza e Silva, and L. G. Soares, editors, Data Commu-
nication Systems and Their Performance. IFIP/North-Holland, 1988.
[70] R. Taylor. A general purpose algorithm for analyzing concurrent pro-
grams. Communications of ACM, 26, May 1983.
[71] R.S. Varga. Matrix Iterative Analysis. Prentice-Hall, Englewood Cliffs,
NJ, 1962.
[72] N. Viswanadham and Y. Narahari. Performance Modeling of Automated
Manufacturing Systems. Prentice Hall, 1992.
[73] C. Y. Wong, T. S. Dillon, and K. E. Forward. Timed Petri nets with
stochastic representation of place time. In Proc. Int. Workshop on
Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
Search WWH ::
Custom Search