日本機械学会論文集 C編
Online ISSN : 1884-8354
Print ISSN : 0387-5024
自動組立手順生成のためのぺトリネットの段階的詳細化
川瀬 俊夫包原 孝英鈴木 達也大熊 繁稲葉 昭夫
著者情報
ジャーナル フリー

1994 年 60 巻 571 号 p. 1105-1112

詳細
抄録

There is a growing need for top-down design methodology for a discrete event system. In top-down design of the discrete event system, we begin with a high-level model of the system and refine it step-wisely until a sufficiently low-level model is obtained. In the previous researches, most of the proposed refinement technique has been a "transition-based technique", which replaces each transition with subnet. However, in case of assembly Petri net, each place has useful informations for the refinement rather than each transition. This means that a "place-based refinement technique", is needed for assembly Petri net. In this paper, we propose a new place-based refinement techinique of Petri net for automatic assembly procedure. In the proposed method, we assign some attributes to places and set the input-output relationships of transitions which connect the place-attribute combinations. The places can be divided into groups according to their attributes and we should take into account only transitions between these groups. This leads to that we can refine the Petri net easily comparing with the usual transition-based technique.

著者関連情報
© 社団法人日本機械学会
前の記事 次の記事
feedback
Top