M Nakamura, Y Amau, T Matsumura… - IEEJ Transactions on …, 2002 - jstage.jst.go.jp
Petri nets are a mathematical tool well suited for modeling and analysis of Discrete Event Dynamic Sys tems (DEDS). In this paper, we propose and implement hardware Petri nets on …
K Hachiman, M Nakamura, S Tamaki… - IEEJ Transactions on …, 2002 - jstage.jst.go.jp
The minimum initial marking problem is one of the important problems for Petri net analysis. We proposed a new solution based on a Genetic algorithm with heuristic rearrangement of …
抄録 Recent globalization in industries has increased the number of product failures and troubles caused by using them in unexpected ways. To avoid such troubles, it is necessary …
Ladder Diagram (LD) has been widely used in industries as a language for sequential controls. However, the LD can not represent sequential flows of control logics explicitly. This …