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

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.

[1]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[2]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[3]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[4]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.

[5]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[6]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1988 , 1987, Lecture Notes in Computer Science.

[7]  Søren Christensen,et al.  Coloured Petri Nets Extended with Channels for Synchronous Communication , 1992, Application and Theory of Petri Nets.

[8]  Bernd Baumgarten,et al.  On Internal and External Characterizations of PT- net Building Block Behaviors , 1988, European Workshop on Applications and Theory of Petri Nets.

[9]  Grzegorz Rozenberg,et al.  Applications and Theory of Petri Nets , 1983 .

[10]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[11]  Giuseppe Berio,et al.  The M*-OBJECT methodology for information system design in CIM environments , 1995, IEEE Trans. Syst. Man Cybern..

[12]  David,et al.  Application and Theory of Petri Nets 1994 , 1994, Lecture Notes in Computer Science.

[13]  Pierre Verbaeten,et al.  Using Petri Nets for Specifying Active Objects and Generative Communication , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[14]  M. Paludetto,et al.  A methodology based on objects and Petri nets for development of real-time software , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[15]  Grzegorz Rozenberg.  Advances in Petri Nets 1987 , 1986, Lecture Notes in Computer Science.

[16]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[17]  Laure Petrucci,et al.  Towards a Modular Analysis of Coloured Petri Nets , 1992, Application and Theory of Petri Nets.

[18]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[19]  Giorgio Bruno,et al.  Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems , 1991, Comput. Lang..

[20]  José A. Bañares,et al.  Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations , 1993, Application and Theory of Petri Nets.

[21]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[22]  J. Billington.  Many-sorted high-level nets , 1989 .

[23]  James E. Rumbaugh,et al.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA '87.

[24]  Marco Ajmone Marsan,et al.  Application and Theory of Petri Nets 1993 , 1993, Lecture Notes in Computer Science.

[25]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[26]  Robert Valette,et al.  Software Implementation of Petri nets and compilation of rule-based systems , 1990, Applications and Theory of Petri Nets.

[27]  Ludmila Cherkasova,et al.  On Net Modeling of Industrial Size Concurrent Systems , 1993, Application and Theory of Petri Nets.

[28]  Jacques Vautherin,et al.  Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.

[29]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[30]  Sarah L. English.  Coloured Petri Nets for object-oriented modelling , 1993 .

[31]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[32]  E. Battiston,et al.  Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[33]  Robert Valette,et al.  Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.