A Forbidden Marking Problem in Controlled Complementary-Places Petri Nets
スポンサーリンク
概要
- 論文の詳細を見る
Many typical control problems such as deadlock avoidance problems and mutual exclusion problems can be formulated as forbidden marking problems. This paper studies a forbidden marking problem in controlled complementary-places Petri nets, which are suitable model for sequential control systems. We show a necessary and sufficient condition for the existence of a control law for this problem. We also obtain a maximally permissive control law which allows a maximal number of transitions to fire subject to a condition that forbidden markings will never be reached.
- 社団法人電子情報通信学会の論文
- 1995-03-25
著者
-
Kumagai Sadatoshi
Department of Electrical Engineering, Osaka University
-
TAKAI Shigemasa
Faculty of Systems Engineering, Wakayama University
-
Takai S
Wakayama Univ. Wakayama‐shi Jpn
-
Kumagai Sadatoshi
Faculty Of Engineering Osaka University
-
Ushio Toshimitsu
Faculty Of Engineering Osaka University
-
Kumagai S
Department Of Electrical Engineering Osaka University
-
KODAMA Shinzo
Faculty of Science and Engineering, Kinki University
-
Chang Wooi
Faculty of Engineering, Osaka University
-
Takai Shigemasa
Faculty Of Systems Engineering Wakayama University
-
Chang W
Faculty Of Engineering Osaka University
-
Kodama Shinzo
Faculty Of Engineering Osaka University
-
Takai Shigemasa
Faculty of Engineering, Osaka University
関連論文
- An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
- Equivalent Net Reduction for Firing Sequence
- ショート・ペーパー Controller Failure Time Analysis for Linear Time-Invariant Systems
- A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem(Concurrent System Technology)
- A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem
- An Electric Circuit Model of Flow-Shops and Its Sensitivity Analysis
- Stabilization of Timed Discrete Event Systems with Forcible Events (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
- A Forbidden Marking Problem in Controlled Complementary-Places Petri Nets
- Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method
- An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs(Concurrent/Hybrid Systems : Theory and Applications)
- Balanced State Feedback Controllers for Discrete Event Systems Described by the Golaszewski-Ramadge Model
- Functional Analysis of Internal Moving Organs Using Super-Resolution Echography
- Quantitation of Fine Displacement in Echography
- A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity(Concurrent/Hybrid Systems : Theory and Applications)
- An Algorithm for Petri Nets Reachability by Unfoldings (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
- An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits (Special Section of Papers Selected from JTC-CSCC'95)
- Continuous Relation between Models and System Performances : A Case Study for Optimal Servosystems
- Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents(Concurrent System Technology)