The Analysis of an Extended Mark Flow Graph's Operation for Design of the Discrete-event Control System 


Vol. 5,  No. 7, pp. 1896-1907, Jul.  1998
10.3745/KIPSTE.1998.5.7.1896


PDF
  Abstract

The EMFG(Extended Mark Flow Graph) can be easily translated to a physical circuit through a conversion formula and then has been used as the powerful tool for modeling, design and implementation of discrete-event control systems. In this paper, we present an analysis method of an EMFG using boolean functions and vectors that describes the firing processing of the transitions and calculate the number of marks in each box. We also present an EMFG running algorithm that a designer can recognize the state variation of the system easily. The proposed algorithm works well on two analysis examples: an EMFG representing a 3-bit up counter and an EMFG including time transitions. Due to the analysis possibility of an EMFG with boolean functions, the operations of the system can be understood and analyzed easily, then the automatic analysis and design of the system is possible with the computer simulation.

  Statistics


  Cite this article

[IEEE Style]

Y. J. mo, "The Analysis of an Extended Mark Flow Graph's Operation for Design of the Discrete-event Control System," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 7, pp. 1896-1907, 1998. DOI: 10.3745/KIPSTE.1998.5.7.1896.

[ACM Style]

Yeo Jeong mo. 1998. The Analysis of an Extended Mark Flow Graph's Operation for Design of the Discrete-event Control System. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 7, (1998), 1896-1907. DOI: 10.3745/KIPSTE.1998.5.7.1896.