半言語とそれの離散事象システム論への応用 [in Japanese] Partial Languages and Their Application to Theoy of Discrete Event Systems [in Japanese]
Access this Article
Search this Article
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.
- IEEJ Transactions on Sensors and Micromachines
IEEJ Transactions on Sensors and Micromachines 118(2), 158-163, 1998-02
The Institute of Electrical Engineers of Japan