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, Jul. 1998
10.3745/KIPSTE.1998.5.7.1896,   PDF Download:

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
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


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.