Skip to main content
SpringerLink
Log in

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

  • Chapter
  • First Online:
Book cover Concurrent Object-Oriented Programming and Petri Nets

Part of the book series: Lecture Notes in Computer Science ((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.

This work was supported by the Spanish Interministerial Comission of Science and Technology (CICYT) under projects TAP95-0574 and TIC98-0587.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Baldassari and G. Bruno. PROTOB: An object oriented methodology for developing discrete event dynamic systems. Computer Languages, 16(1):39–63, 1991.

    Article  Google Scholar 

  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. 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. 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. 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. 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.

    Article  Google Scholar 

  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. 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. 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. 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. N. Carriero and D. Gerlenter. Linda in context. Communications of the ACM, 32(4), April 1989.

    Google Scholar 

  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. 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. 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. 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. 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. S. English. Coloured Petri Nets for object-oriented modelling. PhD thesis, University of Brighton, 1993.

    Google Scholar 

  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. R. Fikes and T. Kehler. The role of frame-based representation in reasoning. Communications of the ACM, 28(9):904–920, September 1985.

    Article  Google Scholar 

  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. 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. Intellicorp. KEE User Guide. Intellicorp, 1989.

    Google Scholar 

  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. 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. 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. 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. B. Meyer. Object-Oriented Software Construction. Computer Science. Prentice Hall, Englewood Cliffs, N.J., 1988.

    Google Scholar 

  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. W. Reisig. Theoretical Computer Science 80, chapter Petri Nets and Algebraic Specifications, pages 1–34. Elsevier Science Publishers B.V., 1991.

    Google Scholar 

  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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna 3, 50015, Zaragoza, Spain

    J.A. Bãnares, P.R. Muro-Medrano, J.L. Villarroel & F.J. Zarazaga

Authors
  1. J.A. Bãnares
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P.R. Muro-Medrano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J.L. Villarroel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. F.J. Zarazaga
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bãnares, J., Muro-Medrano, P., Villarroel, J., Zarazaga, F. (2001). KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41942-6

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation