Application of Petri Nets to Sequence Control (Special Section on Nets-Oriented Software Specification and Design)
スポンサーリンク
概要
- 論文の詳細を見る
We describe K-NET, a support system for development of sequence control programs. The K-NET description model is based on the colored Petri net and timed Petri net. K-NET concisely expresses sequence control flow including synchronization, interlock and concurrence, and provides high-level data processing by being combined with a conventional procedural language. K-NET has an editor, simulator, generator, reporter and monitor to support the control program development procedure ranging from basic and detail design to programming and testing. We have added a new function to K-NET so it assists development of control programs for programmable controllers, and have applied it to an automatic bolt supplying system. The operation results are satisfactory.
- 社団法人電子情報通信学会の論文
- 1993-10-25
著者
-
Kumagai Sadatoshi
The Computation Center Osaka University
-
URABE Hironobu
Kawasaki Heavy Industries, Ltd.
-
Nagao Yoichi
The System Technology Development Center Kawasaki Heavy Industries Ltd.
-
Urabe Hironobu
Kawasaki Heavy Industries Ltd.
-
Urabe Hironobu
The System Technology Development Center Kawasaki Heavy Industries Ltd.
-
Nakano S
Sharp Corp. Tenri‐shi Jpn
-
Nakano Shinichi
the System Technology Development Center, Kawasaki Heavy Industries, Ltd.,
関連論文
- Development of a teachingless robot system for welding a large-sized box-type construction
- Development of a panel welding robot system for subassembly in shipbuilding utilizing a two-dimensional CAD system
- Application of Petri Nets to Sequence Control (Special Section on Nets-Oriented Software Specification and Design)
- Structural and Behavioral Analysis of State Machine Allocatable Nets Based on Net Decomposition (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)