時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究

基于定时Petri网模型的顺序控制系统系统设计研究

• 批准号: 05750407
• 负责人: 辻 孝吉
• 金额: $ 0.58万
• 依托单位: University of Fukui
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05750407/
• 关键词: ペトリネット; シーケンス制御; 離散事象システム; CIM; デッドロック; トラップ; 制御系列; FA

一般のシーケンス制御系を時間付きペトリネットモデルを用いて容易に、かつ系統的に解析・設計できるようにするため、以下のような理論的検討およびCADプログラムの開発を行った。1.理論的検討:システム制御の問題は(a)ペトリネットの可到達性を、システムの不用な停止の有無は(b)ペトリネットの活性を調べることにより解析する事ができる。本年度は、系統的設計を行うための基礎理論として以下の研究を行った。(1)平成元年度〜平成4年度の可到達性、活性の結果をふまえ、構造的性質を保ったままペトリネットを分割するための理論的検討を行った。そして、マークグラフをサブクラスとして含む拡張マークグラフのサブクラスにおいて、活性、可到達性を検証するための具体的分割解析アルゴリズムを導出した。(2)設計をする場合には、(1)とは逆に各機能部分ごとに設計し、全体システムを組み立てるという手法も用いられる。そこで、一般的な結合規則を導出するための第一段階として、通信プロトコル状態遷移のペトリネットにおいて、活性、可到達性を保ったままペトリネットを結合するための結合規則を導出した。2.CAD用プログラムの開発:上記理論的検討に基づいたシーケンス制御系解析設計プログラムを開発した。更に、平成元年度〜平成4年度に開発済のシーケンス制御系解析・設計用CADプログラムのプロトタイプ(シュミレータ、有界性、可到達性検証、活性検証)に本分割および結合解析・設計用プログラムを統合した。特に、分割手法や結合手法を用いることで、UNIXワークステーションだけでなく、パーソナルコンピュータでも本CADプログラムの一部を実用的に使用することができるようになった。

General の シ ー ケ ン ス suppression time を pay き ペ ト リ ネ ッ ト モ デ ル を with い easy て に, か つ system analytical, design で に き る よ う に す る た め, the following の よ う 検 な theory for お よ び CAD プ ロ グ ラ ム の open 発 を line っ た. Beg: 1. The theory of 検 シ ス テ ム suppression の problem は (a) ペ ト リ ネ ッ ト の can be reached を, シ ス テ ム の without な stop の presence of は (b) ペ ト リ ネ ッ ト の activity を adjustment べ る こ と に よ り parsing す る matter が で き る. This year, を, the design of the system を, うため, <s:1>, the basic theory と, て, and the following <s:1> research を, った. (1) year ~ pp.47-53 4 year の pp.47-53 yuan results can be reached, active の を ふ ま え structure and properties of を bartender っ た ま ま ペ ト リ ネ ッ ト を segmentation す る た め 検 の theory for line を っ た. そ し て, マ ー ク グ ラ フ を サ ブ ク ラ ス と し て containing む company, zhang マ ー ク グ ラ フ の サ ブ ク ラ ス に お い て, activity, can be reached を 検 card す る た め の specific segmentation parsing ア ル ゴ リ ズ ム を export し た. (2) design を す る occasions に は, (1) と は inverse に function of each part ご と に し design, all the シ ス テ ム を group み made て る と い う gimmick も with い ら れ る. そ こ で, general rules of な combining を export す る た め の first Duan Jie と し て, communication プ ロ ト コ ル state transition の ペ ト リ ネ ッ ト に お い て, activity, can be reached を bartender っ た ま ま ペ ト リ ネ ッ ト を combining す る た め の combination rules を export し た. 2. Use CAD プ ロ グ ラ ム の open 発 : written theoretical base of beg に 検 づ い た シ ー ケ ン ス suppression system design プ ロ グ ラ ム を open 発 し た. More に, pp.47-53 yuan year ~ pp.47-53 4 year に open 発 済 の シ ー ケ ン ス suppression system analytical, design with CAD プ ロ グ ラ ム の プ ロ ト タ イ プ (シ ュ ミ レ ー タ, boundedness and can be reached 検 syndrome, active 検) に this segmentation お よ び combining analytical, design with プ ロ グ ラ ム を integration し た. に, segmentation technique や combination technique を い る こ と で, UNIX ワ ー ク ス テ ー シ ョ ン だ け で な く, パ ー ソ ナ ル コ ン ピ ュ ー タ で も this CAD プ ロ グ ラ ム の a を be used the に す る こ と が で き る よ う に な っ た.

项目成果

T.Matsumoto: "Fuzzy Petri Nets and Its Application to Fuzzy Reasoning Systems Control" Proceedings of Fifth International Fuzzy Systems Association World Congress. 1993. (1330-1333)

T.Matsumoto：“模糊 Petri 网及其在模糊推理系统控制中的应用”第五届国际模糊系统协会世界大会论文集。

K.Tsuji: "On Reachability Conditions for Petri Nets Using State Equations" Proceedings of 1993 Joint Technical Conferenece on Circuits/Systems,Computers and Communications. 1993. (324-329)

K.Tsuji：“On Reachability Conditions for Petri Nets using State Equations”1993 年电路/系统、计算机和通信联合技术会议论文集。

T.Matsumoto: "The Minimum Number of Live Structural Traps to Make an Arbitrary Minimal Structural Deadlock Live in General Petri Nets" Proceedings of the IEEE International Symposium on Circuits and Systems. 1993. (2717-2720)

T.Matsumoto：“在通用 Petri 网络中实现任意最小结构死锁的实时结构陷阱的最小数量”IEEE 国际电路与系统研讨会论文集。

村田忠夫: "ペトリネットによる並行処理プログラムの解析手法" 情報処理学会誌. 34. 701-709 (1993)

Tadao Murata：“使用 Petri 网分析并行处理程序的方法”日本信息处理学会杂志 34. 701-709 (1993)。

B.M.Adel: "Systems of Known Choice Processes:a Class of Petri Nets" Proceedings of 1993 Joint Technical Conferenece on Circuits/Systems,Computers and Communications. 1993. (330-335)

B.M.Adel：“已知选择过程系统：一类 Petri 网”1993 年电路/系统、计算机和通信联合技术会议论文集。