Advertisement

KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects

  • J.A. Bãnares
  • P.R. Muro-Medrano
  • J.L. Villarroel
  • F.J. Zarazaga
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2001)

Abstract

This paper presents KRON (Knowledge Representation Oriented Nets), a knowledge representation schema for discrete event systems (DESs). KRON enables the representation and use of a variety of knowledge about a DES static structure, and its dynamic states and behavior. It is based on the integration of Colored Petri nets with frame based representation techniques and follows the object oriented paradigm. The main objective considered in its definition is to obtain a comprehensive and powerful representation model for data and control, and to incorporate a powerful modeling methodology. The communication model used in KRON is close to the generative communication model, which supposes an alternative to message passing. The inferences delivered from the DES behavioral knowledge are governed by a control mechanism based on a rule inference engine.

Keywords:

Colored Petri nets frames knowledge engineering DES. 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Baldassari and G. Bruno. PROTOB: An object oriented methodology for developing discrete event dynamic systems. Computer Languages, 16(1):39–63, 1991.CrossRefGoogle Scholar
  2. 2.
    J.A. Bãnares, P.R. Muro-Medrano, and J.L. Villarroel. Application and Theory of Petri Nets 1993, chapter Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations, pages 32–48. Number 691 in Lecture Notes in Computer Science. Springer Verlag, 1993.Google Scholar
  3. 3.
    E. Battiston and F. de Cindio. Class orientation and inheritance in modular algebraic nets. In Proc. of IEEE International Conference on Systems,man and Cybernetics,L e Touquet-France, pages 717–723, 1993.Google Scholar
  4. 4.
    E. Battiston, F. de Cindio, and G. Mauri. Advances in Petri Nets 1988, chapter OBJSA Nets: a class of high-level Petri nets having objects as domains, pages 20–43. Number 340 in Lecture Notes in Computer Science. Springer Verlag, 1988.Google Scholar
  5. 5.
    B. Baumgarten. Advances in Petri Nets 1988, chapter On internal and external characterization of PT-net building block behavior. Number 340 in Lecture Notes in Computer Science. Springer Verlag, 1988.Google Scholar
  6. 6.
    G. Berio, A. Di Leva, P. Giolitto, and F. Vernadat. The m*-object methodology for information system design in cim environments. IEEE Tran. on Systems,Man, and Cybernetics, 25(1):68–85, January 1995.CrossRefGoogle Scholar
  7. 7.
    J. Billington. Many-sorted high-level nets. In Proc. of Third International Workshop on Petri Nets and Performance Models,Kyoto, pages 166–179, 1989.Google Scholar
  8. 8.
    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
  9. 9.
    G. Bruno and G. Marchetto. Process-translatable petri nets for the rapid prototyping of process control systems. IEEE transaction on Sosftware Engineering, 12(2):346–357, 1986.Google Scholar
  10. 10.
    D. Buchs and N. Guelfi. CO-OPN: a concurrent object oriented petri net approach. In Proc. of the 12th International Conference on Application and Theory of Petri Nets, pages 432–454, Gjern (Denmark), June 1991.Google Scholar
  11. 11.
    N. Carriero and D. Gerlenter. Linda in context. Communications of the ACM, 32(4), April 1989.Google Scholar
  12. 12.
    L. Cherkasova, V. Kotov, and T. Rokicki. Applications and Theory of Petri Nets 1993, chapter Modeling of Industrial Size Concurrent Systems, pages 552–561. Number 691 in Lecture Notes in Computer Science. Springer Verlag, 1993.Google Scholar
  13. 13.
    S. Christense and N.D. Hansen. Application and Theory of Petri Nets 1994, chapter Coloured Petri Nets Extended with Channels for Synchronous Communication, pages 159–178. Number 815 in Lecture Notes in Computer Science. Springer Verlag, 1994.Google Scholar
  14. 14.
    S. Christensen and L. Petrucci. Applications and Theory of Petri Nets 1992, chapter Towards a Modular Analysis of Coloured Petri Nets, pages 113–133. Number 616 in Lecture Notes in Computer Science. Springer Verlag, 1992.Google Scholar
  15. 15.
    A. Dileva and P. Giolito. High-level petri nets for production system modelling. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, pages 381–396, Zaragoza (Spain), June 1987.Google Scholar
  16. 16.
    A. Dileva, P. Giolito, and F. Vernadat. Executable models for the representation of production systems. In Proc. of the IMACS-IFAC Symposium on Modelling and Control of Technological Systems,IMA CS MCTS 91, pages 561–566, Lille (France), June 1991.Google Scholar
  17. 17.
    S. English. Coloured Petri Nets for object-oriented modelling. PhD thesis, University of Brighton, 1993.Google Scholar
  18. 18.
    R. Fehling. A concept for hierarchical petri nets with buiding blocks. In Proc. of the 12th International Conference on Application and Theory of Petri Nets, pages 370–389, Aarhus, 1991.Google Scholar
  19. 19.
    R. Fikes and T. Kehler. The role of frame-based representation in reasoning. Communications of the ACM, 28(9):904–920, September 1985.CrossRefGoogle Scholar
  20. 20.
    T. Holvoet and P. Verbaeten. Using petri nets for specifying active objects and generative communication. In Object-Oriented Programming and Models of Concurrency. A workshop within the 17th International Conference on Application and Theory of Petri Nets, 1996.Google Scholar
  21. 21.
    P. Huber, K. Jensen, and M. Shapiro. Hierarchies in coloured petri nets. In Proc. of the 10th European Workshop on Application and Theory of Petri Nets, pages 192–209, Bonn, June 1989.Google Scholar
  22. 22.
    Intellicorp. KEE User Guide. Intellicorp, 1989.Google Scholar
  23. 23.
    K. Jensen. Coloured Petri Nets: Basic Concepts, A nalysis Methods and Practical Use. EATCS Monographs on theoretical Computer Science, Springer-Verlag. Edited by W. Brauer, G. Rozenberg and A. Salomaa, Berlin Heidelberg, 1992.Google Scholar
  24. 24.
    C.A. Lakos. The role of substitution places in hierarchical coloured petri nets, thecnical report tr93-7. Technical report, Computer Science Department, University of Tasmania, August 1993.Google Scholar
  25. 25.
    C.A. Lakos and C.D. Keen. LOOPN++: A new language for object-oriented petri nets, thecnical report tr94-4. Technical report, Computer Science Department, University of Tasmania, 1994.Google Scholar
  26. 26.
    S. Matsuoka, K. Wakita, and A. Yonezawa. Research Directions in Object-Based Concurrency, chapter Inheritance anomaly in object-oriented concurrent programming languages. MIT Press, 1993.Google Scholar
  27. 27.
    B. Meyer. Object-Oriented Software Construction. Computer Science. Prentice Hall, Englewood Cliffs, N.J., 1988.Google Scholar
  28. 28.
    M. Paludetto and S. Raymond. A methodology based on objects and petri nets for development of real-time software. In Proc. of IEEE International Conference on Systems, man and Cybernetics, Le Touquet-France, pages 717–723, 1993.Google Scholar
  29. 29.
    W. Reisig. Theoretical Computer Science 80, chapter Petri Nets and Algebraic Specifications, pages 1–34. Elsevier Science Publishers B.V., 1991.Google Scholar
  30. 30.
    J. Rumbaugh. Relations as semantic contructs in an object-orientated language. In Proc. of the ACM Object-Oriented Programming Systems, Languages and Applications, OOPSLA’87, pages 466–481, October 1987.Google Scholar
  31. 31.
    C. Sibertin-Blanc. High-level petri nets with data structures. In Proc. of Workshop on Applications and Theory of Petri Nets. Finland, June 1985.Google Scholar
  32. 32.
    C. Sibertin-Blanc. Advances in Petri Nets 1994, chapter Cooperative Nets, pages 377–396. Number 815 in Lecture Notes in Computer Science. Springer Verlag, 1994.Google Scholar
  33. 33.
    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
  34. 34.
    J. Vautherin. Advances in Petri Nets 1987, chapter Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications., pages 293–308. Number 266 in Lecture Notes in Computer Science. Springer Verlag, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • J.A. Bãnares
    • 1
  • P.R. Muro-Medrano
    • 1
  • J.L. Villarroel
    • 1
  • F.J. Zarazaga
    • 1
  1. 1.Departamento de Informática e Ingeniería de SistemasUniversidad de ZaragozaZaragozaSpain

Personalised recommendations