システム制御情報学会論文誌
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック
高井 重昌潮 俊光児玉 慎三
著者情報
ジャーナル フリー

1992 年 5 巻 8 号 p. 317-324

詳細
抄録

Concurrency is a very important problem in real-time discrete-event systems, and has a crucial effect on control. In this paper, we consider concurrent discrete-event systems modeled by Petri nets with external input places, with a control specification given in terms of a predicate on the set of all reachable markings. First, we derive a simpler condition for the unique existence of the maximally permissive feedback which can be checked without constructing the set of permissive feedbacks. Next, we obtain a necessary and sufficient condition for concurrency to have no effect on the set of permissive feedbacks. And we study the relationship between these two properties. Moreover, we demonstrate synthesis of the unique maximally permissive feedback for a simple manufacturing system.

著者関連情報
© システム制御情報学会
前の記事 次の記事
feedback
Top