KRON: an approach for the integration of Petri nets in object oriented models of discrete event systems

This paper presents KRON, a representation schema to create models for discrete event systems. It is based in the integration of high level Petri nets with a frame based representation and an object oriented methodology. The main objectives considered in its definition are to obtain a comprehensive and powerful representation model for data and control, and to incorporate a powerful modelling methodology. KRON provides an efficient execution mechanism to make evolve the models. It is an adaptation of the RETE matching algorithm to deal with the features provided by high level Petri nets. Moreover, KRON allows the representation of decision points in the execution of non-deterministic models