A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Transactions of the Society of Instrument and Control Engineers
There is a growing need for the top-down design methodology for Discrete Event Systems (DES). Establishing a firm foundation of such methodology is the central topic of this paper. In a top-down design of a discrete event system, one starts with a high-level model of the system and refines it stepwise until a sufficient low-level model has been reached. Therefore, in this paper, we study the following two things to make the top-down design useful: The first is a theory of formal models of DESdoi:10.9746/sicetr1965.28.733 fatcat:llhx34fupfaubgpbh3v3rscpii