Graphics Programs Reference
In-Depth Information
Bibliography
[1] In S. Shatz and J. Wang, editors, Tutorial on Distributed Software En-
geneering. IEEE-CS Press, 1989.
[2] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and
A. Cumani. The effect of execution policies on the semantics and analy-
sis of stochastic Petri nets. IEEE Transactions on Software Engineering,
15(7):832-846, July 1989.
[3] M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized
stochastic Petri nets revisited: Random switches and priorities. In Proc.
Int. Workshop on Petri Nets and Performance Models, pages 44-53,
Madison, WI, USA, August 1987. IEEE-CS Press.
[4] M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized
stochastic Petri nets for the performance analysis of multiprocessor sys-
tems. ACM Transactions on Computer Systems, 2(1), May 1984.
[5] M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of
Multiprocessor Systems. MIT Press, Cambridge, USA, 1986.
[6] H. Alaiwan and G. Memmi. Algorithmes de recherche des solutions en-
tieres positives d'un systeme d'equations lineaires homogeneus en nom-
bres entieres. Revue Technique Thomson-CSF, 14(1):125-135, March
1982. in French.
[7] H. Alaiwan and J. M. Toudic. Research des semiflots, des verrous et des
trappes dans le reseaux de Petri. Technique et Science Informatiques,
4(1), February 1985.
[8] G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling
and evaluation of a concurrent program using coloured stochastic Petri
nets: Lamport's fast mutual exclusion algorithm. IEEE Transactions
on Parallel and Distributed Systems, 3(1), January 1992.
[9] Gianfranco Balbo and G. Franceschinis. Modelling flexible manufac-
turing systems with generalized stochastic petri nets. In International
305
Search WWH ::
Custom Search