Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models(Concurrent Systems,<Special Section>Concurrent/Hybrid Systems: Theory and Applications)
スポンサーリンク
概要
- 論文の詳細を見る
We study computation of a controllable sublanguage of a given non-prefix-closed regular specification language for an unbounded Petri net. We approximate the generated language of the unbounded Petri net by a regular language, and compute the supremal controllable sublanguage of the specification language with respect to the regular language approximation. This computed language is a controllable sublanguage with respect to the original generated language of the unbounded Petri net, but is not necessarily the supremal one. We then present a sufficient condition under which the computed sublanguage is the supremal controllable sublanguage with respect to the original generated language of the unbounded Petri net.
- 社団法人電子情報通信学会の論文
- 2006-11-01
著者
-
Takai Shigemasa
Department Of Information Science Kyoto Institute Of Technology
-
BAI Yongming
Graduate School of Systems Engineering, Wakayama University
-
Bai Yongming
Graduate School Of Systems Engineering Wakayama University
-
TAKAI Shigemasa
Department of Electronics and Information Science, Kyoto Institute of Technology
関連論文
- Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control(Concurrent/Hybrid Systems : Theory and Applications)
- Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules
- Supervisory Control of a Class of Concurrent Discrete Event Systems(Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
- A Formula for the Supremal Controllable and Opaque Sublanguage Arising in Supervisory Control
- Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules(Concurrent System Technology)