On revising temporal models of discrete event systems

This paper presents an extension of an earlier work on a methodology for modeling time-sensitive aspects of discrete-event systems (DES). The approach models the temporal aspects - time layer - of a DES separately from the functional and physical layers of the system, thus de-coupling them to model and analyze each aspect separately. The paper addresses the issue of revising (i.e., adding, deleting, and modifying) temporal aspects of the system under construction, especially at a stage when a partial model has already been constructed. The previous approaches required the process of modeling to be re-initiated with the entire set of revised and unattended inputs.