ペトリネットコントローラの改良

概要

論文の詳細を見る
筆者らは、「ペトリネットに基づく高速プログラマブルコントローラ」のハードウエアをVLSI化することを提案した。この小規模なコントローラの集合体で大規模なネットを構築する方法としてサブネットに分割する方法も提案した。しかしネット間で競合が起きたとき、2つのコントローラ間で処理に時間差がでるため、同じトークンの処理が異なってしまい誤る可能性がある。この論文では2つのコントローラ間で通信を行ない、トランジションを発火させるまえに他方のサブネットからトークンを取り除いてから発火させることにより、ネット間の競合を正しく処理するメカニズムを提案する。またトークンのコピー(dummy tokenと名付ける)をコントローラ内に保存しておくことにより、雑音などによるトークンの消失や涌き出しエラーをcheckしコントローラの信頼性を高めた。この提案により、小さいPetri Net Controllerの集合で、大規模なペトリネットを構築する際の信頼性を上げることができる。
社団法人電子情報通信学会の論文
1994-01-25