The role of frame-based representation in reasoning
Communications of the ACM
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
On internal and external characterizations of PT-net building block behavior
Advances in Petri Nets 1988
Communications of the ACM
Petri nets and algebraic specifications
Theoretical Computer Science
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Object-Oriented Software Construction
Object-Oriented Software Construction
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Software Implementation of Petri nets and compilation of rule-based systems
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Towards a Modular Analysis of Coloured Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
On Net Modeling of Industrial Size Concurrent Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
| Hi-index | 0.00 |
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.