Author:
Shapiro Robert M.,Pinci Valerio O.,Mameli Roberto
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Jean MacMillan, Joseph G. Wohl: TR-363, Human Roles in an SDI System: Situation Assessment Durig Peacetime and Transition, Armstrong Aerospace Medical Research Laboratory, Wright Patterson Air Force Base, October 1987.
2. M. Ajmone Marsan, G. Conte, and G. Balbo, A Class of Generalized Petri Nets for the Performance Evaluation of MultiProcessor Systems. In: ACM Trans. Comput. Sys., Vol. 2, No. 2, pp. 93–122, May 1984.
3. D. A. Marca and C. L. McGowan: SADT, McGraw-Hill, New York, 1988.
4. Design/IDEF User's Manual, Version 1.5. Meta Software Corporation, Cambridge, MA, 1989.
5. K. Jensen: Coloured Petri Nets In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986-Part I, Lecture Notes in Computer Science, vol. 254, Springer-Verlag 1987, 248–299.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献