Taking advantages of temporal redundancy in High Level Petri Nets implementations

  • J. A. Bañares
  • P. R. Muro-Medrano
  • J. L. Villarroel
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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.


Higher-level net models Rule based systems Petri net implementation Matching algorithms 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BBM89]
    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.Google Scholar
  2. [BE86]
    G. Bruno and A. Elia. Operational specification of process control systems: Execution of prot nets using ops5. In Proc. of IFIC'86, Dublin, 1986.Google Scholar
  3. [BFKM85]
    L. Browston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Adisson-Wesley, 1985.Google Scholar
  4. [BM86]
    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.Google Scholar
  5. [CSV86]
    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.Google Scholar
  6. [DB88]
    J. Duggan and J. Browne. Espnet: expert-system-based simulator of petri nets. IEEE Proceedings, 135(4):239–247, July 1988.Google Scholar
  7. [For82]
    C. Forgy. A fast algorithm for many pattern/many object pattern match problem. Artificial Intelligence, 19:17–37, 1982.Google Scholar
  8. [Har87]
    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.Google Scholar
  9. [HLMMM91]
    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.Google Scholar
  10. [JR91]
    K. Jensen and G. Rozenberg, editors. High-level Petri Nets. Springer-Verlag, Berlin, 1991.Google Scholar
  11. [Mir86]
    A. Miranker. TREAT: A new and efficient match algorithm for AI production systems. PhD thesis, Dep. Comput, Sci., Columbia University, 1986.Google Scholar
  12. [MM90]
    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.Google Scholar
  13. [MMEV92]
    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.Google Scholar
  14. [Pas92]
    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.Google Scholar
  15. [SPA92]
    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.Google Scholar
  16. [VB90]
    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.Google Scholar
  17. [Vil90]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • J. A. Bañares
    • 1
  • P. R. Muro-Medrano
    • 1
  • J. L. Villarroel
    • 1
  1. 1.Departamento de Ingeniería Eléctrica e InformáticaUniversidad de ZaragozaZaragozaSpain

Personalised recommendations