半言語とそれの離散事象システム論への応用 Partial Languages and Their Application to Theoy of Discrete Event Systems
A discrete event system is a dynamical system which evolves according to asynchronous, concurrent and sequential occurrence of discrete state changes. Petri nets are a promising mathematical tool for modeling and analysis of discrete event systems. Partial languages give a correct description of how Petri nets behave. In this paper, we first review partial languages and show that they are useful for analysis of Petri nets. We then propose a synthesis of condition/event nets (a subclass of Petri nets), in which the objective is to construct a net to exhibit the desired behavior specified as a partial language. We last discuss the outline of a synthesis technique.
- 電気学会論文誌. D, 産業応用部門誌 = The transactions of the Institute of Electrical Engineers of Japan. D, A publication of Industry Applications Society
電気学会論文誌. D, 産業応用部門誌 = The transactions of the Institute of Electrical Engineers of Japan. D, A publication of Industry Applications Society 118(2), 158-163, 1998-02
The Institute of Electrical Engineers of Japan