Graphics Programs Reference
In-Depth Information
[20] J. E. Coolhan and N. Roussopoulos. Timing requirements for time-
driven systems using augmented Petri nets. In Proc. Int. Workshop on
Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
[21] A. Cumani. Esp - a package for the evaluation of stochastic Petri nets
with phase-type distributed transition times. In Proc. Int. Workshop
on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
[22] F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed
automata nets. In C. Girault and W. Reisig, editors, Application and
Theory of Petri Nets. IFB 52, New York and London, 1982.
[23] F. DeCindio and O. Botti. Comparing Occam2 program placements
by a GSPN m odel. In Proc. 4th Intern. Workshop on Petri Nets and
Performance Models, Melbourne, Australia, December 1991.
[24] S. Donatelli. L'uso delle reti di Petri per la valutazione e la validazione
di sistemi di grandi dimensioni. PhD thesis, Dipartimento di Infor-
matica, Universita di Torino, Corso Svizzera 185, 10149, Torino, Italy,
February 1990. (in italian).
[25] J. Esparza, M. Silva, and E. Best. Minimal deadlocks in free choice nets.
Technical Report 1/89, Hildesheimer Informatik Fachberichte, 1989.
[26] A. Ferscha. Modelling mappings of parallel computations onto parallel
architectures with prm-net model. In Proc. IFIP-WG 10.3 Working
Conference on Decentralized Systems, Lyon, December 1989.
[27] G. Florin and S. Natkin. Les reseaux de Petri stochastiques. Technique
et Science Informatiques, 4(1), February 1985.
[28] G. Florin and S. Natkin. Matrix product form solution for closed syn-
chronized queueing networks. In Proc. 3rd Intern. Workshop on Petri
Nets and Performance Models, pages 29-39, Kyoto, Japan, December
1989. IEEE-CS Press.
[29] U. Goltz and W. Reisig. CSP programs as nets with individual tokens.
In Proc. 5 th International Conference on Application and Theory of
Petri Nets, Aarhus, Denmark, June 1984.
[30] D. Grillo. Polling mechanism models in communication systems - some
application examples. In H. Takagi, editor, Stochastic Analysis of Com-
puter and Communication Systems. North-Holland, 1990.
[31] P. J. Haas and G. S. Shedler. Regenerative stochastic Petri nets. Per-
formance Evaluation, 6(3):189-204, September 1986.
[32] C. A. R. Hoare. Communicating sequential processes. Communications
of the ACM, 21(8):666-677, August 1978.
 
 
 
 
 
 
 
 
 
 
 
 
Search WWH ::




Custom Search