Graphics Programs Reference
In-Depth Information
[47] J. Martinez and M. Silva. A simple and fast algorithm to obtain all
invariants of a generalized Petri net. In Proc. 2 nd European Workshop
on Application and Theory of Petri Nets, Bad Honnef, West Germany,
September 1981. Springer Verlag.
[48] P. M. Merlin and D. J. Farber. Recoverability of communication proto-
cols: Implications of a theoretical study. IEEE Transactions on Com-
munications, 24(9):1036-1043, September 1976.
[49] R. Milner. Communication and concurrency. Prentice Hall, 1989.
[50] M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE
Transaction on Computers, 31(9):913-917, September 1982.
[51] M.K. Molloy. On the Integration of Delay and Throughput Measures in
Distributed Processing Models.
PhD thesis, UCLA, Los Angeles, CA,
1981. Ph.D. Thesis.
[52] R. J. T. Morris and Y. T. Wang. Some results for multi-queue systems
with multiple cyclic servers. In H. Rudin and W. Bux, editors, Perfor-
mance of Computer-Comunication Systems. IFIP/North-Holland, 1984.
[53] T. Murata. Petri nets: properties, analysis, and applications. Proceed-
ings of the IEEE, 77(4):541-580, April 1989.
[54] T. Barkaoui Murata and B. Lemaire. An effevctive characterization of
minimal deadlocks and traps in Petri nets based on graph theory. In
Proceedings of the International conference on Application and Theopry
of Petri Nets, pages 1-21, Bonn, Germany, June 1989.
[55] M.F. Neuts. Matrix Geometric Solutions in Stochastic Models. Johns
Hopkins University Press, Baltimore, MD, 1981.
[56] J. D. Noe and G. J. Nutt. Macro e-nets representation of parallel sys-
tems. IEEE Transactions on Computers, 31(9):718-727, August 1973.
[57] J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-
Hall, Englewood Cliffs, NJ, 1981.
[58] C.A. Petri. Communication with automata. Technical Report RADC-
TR-65-377, Rome Air Dev. Center, New York, NY, 1966. Tech. Rep.
RADC-TR-65-377.
[59] C. V. Ramamoorthy and G. S. Ho. Performance evaluation of asyn-
chronous concurrent systems using Petri nets. IEEE Transactions on
Software Engineering, 6(5):440-449, September 1980.
 
 
 
 
 
 
 
 
 
 
 
 
Search WWH ::




Custom Search