Інтеграція знань у САПР ТП із використанням високорівневих мереж Петрі

: pp. 168 – 174
Керницький А. Б.

Національний університет «Львівська політехніка», кафедра систем автоматизованого проектування

The work presented incremental method for dynamic description of the product and its manufacturing processes in CAD TP using high-level Petri nets for integration of knowledge represented as production rules and frames. The method of resolving conflicts in models has been built using high-level Petri nets.

1. A.M. Flitman and R.D. Hurrion. Linking discrete-event simulation models with expert systems. Journal of the Operntions Research Society, 38:723-733, 1987. 2. Mark S. Fox and Stephen F. Smith. Isis: A knowledge-based system for factory scheduling. Expert Systems, 1(1):25–49, July 1984. 3. K. Jensen, Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 2, New York: Springer, 1995. 4. P. R. Muro-Medrano, J. Ezpeleta, and J.L Villarroel. A rule-petri net integrated approach for the modeling and analysis of manufacturing systems. In To appear in the Proceedings of the 13th IMACS World Congress. 5. Bobrow, D.G., and Stefik, M. J. Perspectives on Artificial Intelligence Programming. Science 231:4741, pp. 951–956, 28 February 1986. (Reprinted in Rich, C. & Waters R.C. (Eds.) Readings in Artificial Intelligence and Software Engineering, pp. 581-587, Los Altos: Morgan Kaufman Publishers, 1986. 6. G. Zhang and B.P. Zeigler. Artificial Intelligence, Simulation and Modeling, chapter The Systern Entity Structure: Knowledge Representation for Sirnulation Modeling and Design, pages 47–74. Wiley Interscience, New York, 1989. 7. Stefik, M.J., D.G. Bobrow, and K.M. Kahn. "Integrating Access-Oriented Programming into a Multiparadigm Environment." In: IEEE Software Vol 3, No. 1, January 1986. 8. Ward Cunningham , Kent Beck, A diagram for object-oriented programs, Conference proceedings on Objectoriented programming systems, languages and applications, p.361-367, September 29-October 02, 1986, Portland, Oregon, United States. 9. Y.V. Reddy, M.S. Fox, N. Husain, and M. McRoberts. The knowledgebased simulation system. IEEE Software, pages 26-37, March 1986. 10. Murata T. Petri nets: Properties, analysis and applications. Proceedings 01 the IEEE, 16(1):39–50, January 1990. 11. J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J., 1981. 12. C. Ramachandani. “Analysis of asynchronous concurrent systems by timed Petri nets,” Technical Report MAC TR 120, MIT, 1974, Cambridge. 13. F.D.J. Bowden, “A brief survey and synthesis of the roles of time in Petri nets,” Math. Comput. Modeling, Vol. 31, 2000, pp. 55–68.