Abstract
The aim of this paper is to present a software implementation technique for High Level Petri Nets. The proposed technique, implemented for a specialized version of HLPN called KRON, is interpreted and centralized. The approach makes use of the similarities between the inference engine of a rule based system and the interpretation mechanism of a HLPN. It performs an adaptation of the RETE matching algorithm to deal with HLPN implementations. As in RETE, the main objective is to exploit the data temporal redundancy, with this purpose, a RETE-like data structure is implemented. Additionally, our approach benefits from the partition of working memory facilitated by the HLPN. These peculiarities allow the generation of simpler data structures than the ones in more general production systems such as OPS5.
This work has been supported in part by project ROB91-0949 from the Comisión Interministerial de Ciencia y Tecnología of Spain and project IT-10/91 from the Diputación General de Aragón. J. A. Bañares is FPU fellow from the Ministerio de Educación y Ciencia of Spain.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. Esser B. Butler and R. Mattmann. A distributed simulator for high order petri nets. In Proc. of International Conference on Applications and Theory of Petri Nets, pages 22–34, Bonn, 1989.
G. Bruno and A. Elia. Operational specification of process control systems: Execution of prot nets using ops5. In Proc. of IFIC'86, Dublin, 1986.
L. Browston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Adisson-Wesley, 1985.
G. Bruno and G. Marchetto. Process-translatable petri nets for the rapid prototyping of process control systems. IEEE transactions on Software Engineering, 12(2):346–357, February 1986.
J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of petri nets and colored petri nets using high-level concurrent languages. In Proc of 7th European Workshop on Application and Theory of Petri Nets, pages 207–241, Oxford, July 1986.
J. Duggan and J. Browne. Espnet: expert-system-based simulator of petri nets. IEEE Proceedings, 135(4):239–247, July 1988.
C. Forgy. A fast algorithm for many pattern/many object pattern match problem. Artificial Intelligence, 19:17–37, 1982.
G. Hartung. Programming a closely coupled multiprocessor system with high level petri nets. In Proc. of 8th European Workshop on Application and Theory of Petri Nets, pages 489–508, June 1987.
G. Harhalakis, C.P. Lin, L. Mark, and P.R. Muro-Medrano. Information systems for integrated manufacturing (insim) — a design methodology. International Journal of Computer Integrated Manufacturing, 4(6), 1991.
K. Jensen and G. Rozenberg, editors. High-level Petri Nets. Springer-Verlag, Berlin, 1991.
A. Miranker. TREAT: A new and efficient match algorithm for AI production systems. PhD thesis, Dep. Comput, Sci., Columbia University, 1986.
P.R. Muro-Medrano. Aplicación de Técnicas de Inteligencia Artificial al Diseño de Sistemas Informáticos de Control de Sistemas de Producción. PhD thesis, Dpto. de Ingeniería Eléctrica e Informática, University of Zaragoza, June 1990.
P.R. Muro-Medrano, J. Ezpeleta, and J.L. Villarroel. Aceptado en IMACS Transactions, chapter Knowledge Based Manufacturing Modeling and Analysis by Integrating Petri Nets, 1992.
A. Pasik. A source-to-source transformation for increasing rule-based system paralellism. IEEE Tran. on Knowledge and Data Engineering, 4(4):336–343, August 1992.
M. Sartori, K. Passino, and P. Antsaklis. A multilayer perceptron solution to the match phase problem in rule-based artificial intelligence systems. IEEE Tran. on Knowledge and Data Engineering, 4(3):290–297, June 1992.
R. Valette and B.: Bako. Software implementation of petri nets and compilation of rule-based systems. In 11th International Conference on Application and Theory of Petri Nets, Paris, 1990.
J.L. Villarroel. Integración Informática del Control de Sistemas Flexibles de Fabricación. PhD thesis, Dpto. de Ingeniería Eléctrica e Informática, University of Zaragoza, September 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bañares, J.A., Muro-Medrano, P.R., Villarroel, J.L. (1993). Taking advantages of temporal redundancy in High Level Petri Nets implementations. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_39
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive