JP2769192B2 - ペトリネットを用いたシミローケースレータ - Google Patents
ペトリネットを用いたシミローケースレータInfo
- Publication number
- JP2769192B2 JP2769192B2 JP1176127A JP17612789A JP2769192B2 JP 2769192 B2 JP2769192 B2 JP 2769192B2 JP 1176127 A JP1176127 A JP 1176127A JP 17612789 A JP17612789 A JP 17612789A JP 2769192 B2 JP2769192 B2 JP 2769192B2
- Authority
- JP
- Japan
- Prior art keywords
- controller
- simulator
- petri net
- control
- transaction
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
Landscapes
- Testing And Monitoring For Control Systems (AREA)
- Programmable Controllers (AREA)
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、ペトリネットを用いたシミュレータに関す
る。
る。
上記したようなペトリネット１′は、第11図に示すよ
うに、対象システム内で同時進行的に相互に関連し合う
物の動きや制約条件を、イベントを示すトランザクショ
ン２′と物や条件に対応するプレース３とからなるネッ
トワークでモデル化し、前記対象システムの状態や物の
動く様子といった制御の流れを、前記ネットワーク内で
トランザクション２′を介してその入側から出側へプレ
ース３間を移動するトークン４の動きで表現するもので
あって、物流，シーケンサ，及び論理回路等の離散事象
システムのモデル化に適していることでよく知られてい
る。
うに、対象システム内で同時進行的に相互に関連し合う
物の動きや制約条件を、イベントを示すトランザクショ
ン２′と物や条件に対応するプレース３とからなるネッ
トワークでモデル化し、前記対象システムの状態や物の
動く様子といった制御の流れを、前記ネットワーク内で
トランザクション２′を介してその入側から出側へプレ
ース３間を移動するトークン４の動きで表現するもので
あって、物流，シーケンサ，及び論理回路等の離散事象
システムのモデル化に適していることでよく知られてい
る。
前記ペトリネット１′をシミュレータに採用したもの
として、特開昭63−317805号公報（以下、文献１とい
う）及び情報処理学会第33回全国大会予講集，（昭和61
年後期）,2L−５番，第1191頁から第1192頁（以下、文
献２という）に開示されたシミュレータが挙げられる。
として、特開昭63−317805号公報（以下、文献１とい
う）及び情報処理学会第33回全国大会予講集，（昭和61
年後期）,2L−５番，第1191頁から第1192頁（以下、文
献２という）に開示されたシミュレータが挙げられる。
文献１では、対象システム全体がペトリネットにより
モデル化され、前記対象システムの制御の流れと、デー
タ構造上でのデータの流れとが時間の経過も含めてシミ
ュレートされると共に、変化した部分が対応づけられて
表示されるので、対象システムの動作の理解やその解析
が容易なものであった。
モデル化され、前記対象システムの制御の流れと、デー
タ構造上でのデータの流れとが時間の経過も含めてシミ
ュレートされると共に、変化した部分が対応づけられて
表示されるので、対象システムの動作の理解やその解析
が容易なものであった。
又、文献２では、対象システム及びその制御の流れを
モデル化するに際し、前記ペトリネットと、IF…THEN…
型のプロダクションルールとを融合させて用いている。
これは、プログラムの変更が頻繁にありそうな部分をプ
ロダクションルールで表現させることにより、プログラ
ムの変更及び保守の効率化を図ったものであって、対象
システムに対し、そのシミュレーションのみでなくその
モデルを用いて制御も行うことができる。
モデル化するに際し、前記ペトリネットと、IF…THEN…
型のプロダクションルールとを融合させて用いている。
これは、プログラムの変更が頻繁にありそうな部分をプ
ロダクションルールで表現させることにより、プログラ
ムの変更及び保守の効率化を図ったものであって、対象
システムに対し、そのシミュレーションのみでなくその
モデルを用いて制御も行うことができる。
ところが、上記したような従来のシミュレータにおい
て、文献１に係るものでは、対象システムのモデルを全
てペトリネットで表現しているので、現実の対象システ
ムに適用した場合にはそのモデルが非常に複雑になるこ
とから、前記対象システムに多少の変更があったり、或
いはその制御方法を部分的に変えようとする場合であっ
ても多大な労力を要する。
て、文献１に係るものでは、対象システムのモデルを全
てペトリネットで表現しているので、現実の対象システ
ムに適用した場合にはそのモデルが非常に複雑になるこ
とから、前記対象システムに多少の変更があったり、或
いはその制御方法を部分的に変えようとする場合であっ
ても多大な労力を要する。
一方、文献２に係るものでは、前記システムのモデル
がネットワーク構造のみで構築されていないことから、
前記モデルの複雑化が回避できるが、ペトリネットの状
態及び条件を判断し、該ペトリネットの構造を制御する
ロジックがコントローラ中のプロダクションルールに記
載されているので、ペトリネットを実行するシミュレー
タ部と前記コントローラとを分離して使用することがで
きない。従って、前記シミュレータ部で実現した制御を
前記コントローラに相当する他の制御機器、例えばプロ
セスコンピュータ等で実現することは困難であり、汎用
性に欠けるといった問題がある。
がネットワーク構造のみで構築されていないことから、
前記モデルの複雑化が回避できるが、ペトリネットの状
態及び条件を判断し、該ペトリネットの構造を制御する
ロジックがコントローラ中のプロダクションルールに記
載されているので、ペトリネットを実行するシミュレー
タ部と前記コントローラとを分離して使用することがで
きない。従って、前記シミュレータ部で実現した制御を
前記コントローラに相当する他の制御機器、例えばプロ
セスコンピュータ等で実現することは困難であり、汎用
性に欠けるといった問題がある。
従って、本発明の目的とするところは、対象システム
のモデルの変更若しくは保守が容易で、汎用性の高いペ
トリネットを用いたシミュレータを提供することにあ
る。
のモデルの変更若しくは保守が容易で、汎用性の高いペ
トリネットを用いたシミュレータを提供することにあ
る。
上記目的を達成するために、本発明が採用する主たる
手段は、対象システムにおける条件判断や制御規則に基
づくロジックを実行させるコントローラ部と、前記対象
システムの制御の流れが記述され、前記制御の流れを実
行するペトリネットシミュレータ部とから構成されるペ
トリネットを用いたシミュレータにおいて、上記ペトリ
ネットシミュレータ部が、前記コントローラ部から制御
信号を受け入れる制御信号入力部と、前記コントローラ
部へコントローラトリガ信号を出力するトリガ出力部と
を具備してなる点を要旨とするペトリネットを用いたシ
ミュレータである。
手段は、対象システムにおける条件判断や制御規則に基
づくロジックを実行させるコントローラ部と、前記対象
システムの制御の流れが記述され、前記制御の流れを実
行するペトリネットシミュレータ部とから構成されるペ
トリネットを用いたシミュレータにおいて、上記ペトリ
ネットシミュレータ部が、前記コントローラ部から制御
信号を受け入れる制御信号入力部と、前記コントローラ
部へコントローラトリガ信号を出力するトリガ出力部と
を具備してなる点を要旨とするペトリネットを用いたシ
ミュレータである。
本発明によれば、コントローラ部が対象システムにお
ける条件判断や制御規則に基づくロジック、即ちモデル
の変更の多いことが予測されるロジックを実行し、ペト
リネットシミュレータ部が前記システムの制御の流れ、
即ち前記変更の少ないことが予測されるロジックを実行
する。それにより、前記対象システムに変更があった場
合でも前記モデルの変更若しくは保守を容易に行うこと
ができる。又、前記ペトリネットシミュレータ部に、前
記コントローラ部から制御信号を受け入れる制御信号入
力部と、前記コントローラ部へコントローラトリガ信号
を出力するトリガ出力部が設けられているので、前記ペ
トリネットシミュレータ部によるシミュレーションの結
果、動作確認された制御プログラムを格納するコントロ
ーラ部を、目的とする各種のシステムに組込むこともで
きるので、汎用性が高くなる。
ける条件判断や制御規則に基づくロジック、即ちモデル
の変更の多いことが予測されるロジックを実行し、ペト
リネットシミュレータ部が前記システムの制御の流れ、
即ち前記変更の少ないことが予測されるロジックを実行
する。それにより、前記対象システムに変更があった場
合でも前記モデルの変更若しくは保守を容易に行うこと
ができる。又、前記ペトリネットシミュレータ部に、前
記コントローラ部から制御信号を受け入れる制御信号入
力部と、前記コントローラ部へコントローラトリガ信号
を出力するトリガ出力部が設けられているので、前記ペ
トリネットシミュレータ部によるシミュレーションの結
果、動作確認された制御プログラムを格納するコントロ
ーラ部を、目的とする各種のシステムに組込むこともで
きるので、汎用性が高くなる。
以下、添付した図面を参照しつつ本発明を具体化した
実施例につき説明し、本発明の理解に供する。ここに第
１図は本発明の一実施例に係るペトリネットを用いたシ
ミュレータの概略構成を示すブロック図、第２図は同シ
ミュレータに用いられるペトリネットの構造を示す概念
図、第３図は第１図のシミュレータ構成をより詳細に示
したブロック図、第４図はトランザクションに出入りす
るプレース及び信号を示すテーブル図表、第５図はプレ
ース内に存在する時刻毎のトークンの情報を示す図表、
第６図はトランザクションによる起動から実動作開始ま
でのコントローラ情報が蓄積された待行列を示す図表、
第７図は同シミュレータを適用したベルトコンベアシス
テムの概略構成図、第８図は前記ベルトコンベアシステ
ムをモデル化した同シミュレータのモデルを示す概念
図、第９図は同シミュレータの一例の動作を示すフロー
チャート、第10図は、ペトリネットシミュレータ部によ
り動作確認済みの制御プログラムを格納するコントロー
ラ部をオンライン制御に適用した例を示すブロック図で
ある。
実施例につき説明し、本発明の理解に供する。ここに第
１図は本発明の一実施例に係るペトリネットを用いたシ
ミュレータの概略構成を示すブロック図、第２図は同シ
ミュレータに用いられるペトリネットの構造を示す概念
図、第３図は第１図のシミュレータ構成をより詳細に示
したブロック図、第４図はトランザクションに出入りす
るプレース及び信号を示すテーブル図表、第５図はプレ
ース内に存在する時刻毎のトークンの情報を示す図表、
第６図はトランザクションによる起動から実動作開始ま
でのコントローラ情報が蓄積された待行列を示す図表、
第７図は同シミュレータを適用したベルトコンベアシス
テムの概略構成図、第８図は前記ベルトコンベアシステ
ムをモデル化した同シミュレータのモデルを示す概念
図、第９図は同シミュレータの一例の動作を示すフロー
チャート、第10図は、ペトリネットシミュレータ部によ
り動作確認済みの制御プログラムを格納するコントロー
ラ部をオンライン制御に適用した例を示すブロック図で
ある。
尚、以下に示す実施例は、本発明の具体的一例に過ぎ
ず、本発明の技術的範囲を限定する性格のものではな
い。
ず、本発明の技術的範囲を限定する性格のものではな
い。
本実施例において、シミュレータ５は、第１図乃至第
３図に示すように、対象システムにおける条件判断や制
御ルールに基づくロジックを実行させるコントローラ部
７と、対象システムの制御の流れがモデル化して記載さ
れ前記制御の流れを実行するペトリネットシミュレータ
部６とから概ね構成されている。
３図に示すように、対象システムにおける条件判断や制
御ルールに基づくロジックを実行させるコントローラ部
７と、対象システムの制御の流れがモデル化して記載さ
れ前記制御の流れを実行するペトリネットシミュレータ
部６とから概ね構成されている。
前記ペトリネットシミュレータ部６に用いられるペト
リネット１は、トランザクション２の入力側プレース３
に必要なトークン４が全て揃った時にトランザクション
２が発火し、出力側プレース３に前記トークン４が移動
するといった通常の動作に加えて、前記トランザクショ
ン２に、コントローラ部７からの制御信号８を受け入れ
る制御信号入力部8aと前記コントローラ部７へコントロ
ーラトリガ信号９を出力するトリガ出力部9aが設けられ
ているので、上記したような入力側プレース３にトーク
ン４が揃うだけでなく、コントローラ部７から制御信号
８をも受けた場所にのみトランザクション２を発火させ
ることもできる。逆に、トランザクション２が発火した
時にコントローラ部７内のコントロールルーチンに起動
をかけることもできる。
リネット１は、トランザクション２の入力側プレース３
に必要なトークン４が全て揃った時にトランザクション
２が発火し、出力側プレース３に前記トークン４が移動
するといった通常の動作に加えて、前記トランザクショ
ン２に、コントローラ部７からの制御信号８を受け入れ
る制御信号入力部8aと前記コントローラ部７へコントロ
ーラトリガ信号９を出力するトリガ出力部9aが設けられ
ているので、上記したような入力側プレース３にトーク
ン４が揃うだけでなく、コントローラ部７から制御信号
８をも受けた場所にのみトランザクション２を発火させ
ることもできる。逆に、トランザクション２が発火した
時にコントローラ部７内のコントロールルーチンに起動
をかけることもできる。
即ち、前記シミュレータ５は実工程における情報に関
し、あるイベントが生じた時にコントローラ部７内にあ
る所定のコントロールルーチンが起動され、前記コント
ローラ部７から対象システムに向けて制御指令信号が出
される様子を忠実にシミュレートする。
し、あるイベントが生じた時にコントローラ部７内にあ
る所定のコントロールルーチンが起動され、前記コント
ローラ部７から対象システムに向けて制御指令信号が出
される様子を忠実にシミュレートする。
そして、前記コントローラ部７は、内部に格納された
ｎ個のコントロールルーチンと、該コントロールルーチ
ンの間で共用されるメモリ，ペトリネットシミュレータ
部６内の任意のトランザクション２へ制御信号８を出力
するためのルーチン，及びペトリネット１の状態にアク
セスするためのルーチン等からなるコントローラ共通領
域とを有してなっている。
ｎ個のコントロールルーチンと、該コントロールルーチ
ンの間で共用されるメモリ，ペトリネットシミュレータ
部６内の任意のトランザクション２へ制御信号８を出力
するためのルーチン，及びペトリネット１の状態にアク
セスするためのルーチン等からなるコントローラ共通領
域とを有してなっている。
更に、前記シミュレータ５は、ペトリネット構造定義
データ部11及びペトリネット状態メモリ12も有してなっ
ている。
データ部11及びペトリネット状態メモリ12も有してなっ
ている。
前記ペトリネット構造定義データ部11は、第４図に示
すように、トランザクション２に出入りする信号，トラ
ンザクション２の出入側のプレース3,及びトランザクシ
ョン発火からトークン４の出力プレース３までの移動時
間T0，T1，…，Tm，若しくはコントロールルーチンが起
動するまでの時間Tc等を定義して格納している。即ち、
ペトリネット１のネットワーク構造及び制御の流れは、
上記した定義データに基づいて決定されている。そのた
め、ペトリネット１によるモデルを変更したい場合には
前記定義データを修正すればよい。
すように、トランザクション２に出入りする信号，トラ
ンザクション２の出入側のプレース3,及びトランザクシ
ョン発火からトークン４の出力プレース３までの移動時
間T0，T1，…，Tm，若しくはコントロールルーチンが起
動するまでの時間Tc等を定義して格納している。即ち、
ペトリネット１のネットワーク構造及び制御の流れは、
上記した定義データに基づいて決定されている。そのた
め、ペトリネット１によるモデルを変更したい場合には
前記定義データを修正すればよい。
又、前記ペトリネット状態メモリ12は、第５図及び第
６図に示すように、各時点におけるプレース３内に存在
するトークン４の情報、例えば、どのプレース３に何如
なる属性のトークン４が何時発生したかといった情報の
データと、トランザクション２の起動から実動作開始ま
でのコントローラ部７の情報、例えばあるルーチン番号
のコントロールルーチンに対する起動予定時刻と起動パ
ラメータといった情報を蓄積した待行列データとを格納
してなっている。
６図に示すように、各時点におけるプレース３内に存在
するトークン４の情報、例えば、どのプレース３に何如
なる属性のトークン４が何時発生したかといった情報の
データと、トランザクション２の起動から実動作開始ま
でのコントローラ部７の情報、例えばあるルーチン番号
のコントロールルーチンに対する起動予定時刻と起動パ
ラメータといった情報を蓄積した待行列データとを格納
してなっている。
上記したように構成されるシミュレータ５の動作につ
き、第７図乃至第９図を用いて説明する。第８図は、第
７図に示す製品をベルトコンベア15′で搬送後３つのラ
インに分配する振分け工程14′の振分け工程モデル14を
示すものである。尚、ここでは、コントローラ部７は、
コンベア移動制御コントローラ7aとライン振分け制御コ
ントローラ7bとからなっている。
き、第７図乃至第９図を用いて説明する。第８図は、第
７図に示す製品をベルトコンベア15′で搬送後３つのラ
インに分配する振分け工程14′の振分け工程モデル14を
示すものである。尚、ここでは、コントローラ部７は、
コンベア移動制御コントローラ7aとライン振分け制御コ
ントローラ7bとからなっている。
前記コンベア制御コントローラ7aはベルトコンベア1
5′上に載置された実製品16′が全て同期して搬送され
る様子をコンベアモデル15を用いてシミュレートするた
めのものである。前記ライン振分け制御コントローラ7b
は、図中トランザクションｆが発火して実製品の動きを
模擬する製品トークン4pがプレースｃに移ったタイミン
グで起動され、該製品トークン4pをどのラインに搬入さ
せるかを判断し、g,i,jで示すいずれかのトランザクシ
ョンに発火指令信号を送る。尚、図中のプレースｄ内の
トークン4dの存在は、コンベアモデル15の入側のプレー
スａに製品トークン4pが存在せず、コンベアモデル15の
直前に到着した製品トークン4pをコンベアモデル15内へ
搬入してもよいことを示す。同様に、プレースｅ内のト
ークン4eの存在は、コンベアモデル15の次工程となる分
岐点のプレースｃが空いていることを示している。そし
て、d,eで示された以外のプレースは、振分け工程モデ
ル14内における製品トークン4pの存在し得る場所を示
し、該プレース内に製品トークン4pがある場合には、実
際の振分け工程14′においても前記プレースに相当する
位置に実製品16′があることを示している。
5′上に載置された実製品16′が全て同期して搬送され
る様子をコンベアモデル15を用いてシミュレートするた
めのものである。前記ライン振分け制御コントローラ7b
は、図中トランザクションｆが発火して実製品の動きを
模擬する製品トークン4pがプレースｃに移ったタイミン
グで起動され、該製品トークン4pをどのラインに搬入さ
せるかを判断し、g,i,jで示すいずれかのトランザクシ
ョンに発火指令信号を送る。尚、図中のプレースｄ内の
トークン4dの存在は、コンベアモデル15の入側のプレー
スａに製品トークン4pが存在せず、コンベアモデル15の
直前に到着した製品トークン4pをコンベアモデル15内へ
搬入してもよいことを示す。同様に、プレースｅ内のト
ークン4eの存在は、コンベアモデル15の次工程となる分
岐点のプレースｃが空いていることを示している。そし
て、d,eで示された以外のプレースは、振分け工程モデ
ル14内における製品トークン4pの存在し得る場所を示
し、該プレース内に製品トークン4pがある場合には、実
際の振分け工程14′においても前記プレースに相当する
位置に実製品16′があることを示している。
上記したようなシミュレータ５において、第８図に示
すモデルに基づく一連の処理手順を第９図を用いて説明
する。
すモデルに基づく一連の処理手順を第９図を用いて説明
する。
先ず、ステップS1において、コントローラ部７からの
制御信号なしで発火できるトランザクション、即ち、入
側のプレース全てにトークンの存在するトランザクショ
ンが探される。第８図においてはトランザクションＸの
入側プレースにそれぞれトークン4p，4dが存在するの
で、トランザクションＸが発火して製品トークン4pがプ
レースａに移動し、ペトリネットの状態が変更されると
共に前記ペトリネット状態メモリ12にも書込み更新され
る（ステップS2,S3）。この時、トランザクションＸ
は、Ｒで示すコントローラトリガ信号をコンベア移動制
御コントローラ7aに出力し、該コントローラ7aを起動さ
せるので、前記ペトリネット状態メモリ12中のコントロ
ーラ起動待行列にその起動予定が登録される（ステップ
S4,S5）。次に、コントローラ7aが起動し、移動制御信
号S1〜Suが前記コントローラ7aから対応するトランザク
ションY1〜Yuに発せられ、まずトランザクションY1が発
火して製品トークン4pがプレースa1に前進する（ステッ
プS6〜S9）。このとき、Y1は再びコンベア移動制御コン
トローラ7aを起動しているので、コントローラ起動待行
列には、再度起動予定が登録される。このように、フロ
ーチャートの一連の処理ループを実行することによっ
て、トランザクションY2〜Yuが順次発火し、製品のトー
クン4pがプレースa2〜au-1中を前進する。続いて、処理
手順は再度ステップS1に戻り、トランザクションｆの状
態が判断される。このとき、製品トークン4pはプレース
ｂまで到達しているので、トランザクションｆは発火
し、製品トークン4pがプレースｃに移動する（ステップ
S1〜S3）。
制御信号なしで発火できるトランザクション、即ち、入
側のプレース全てにトークンの存在するトランザクショ
ンが探される。第８図においてはトランザクションＸの
入側プレースにそれぞれトークン4p，4dが存在するの
で、トランザクションＸが発火して製品トークン4pがプ
レースａに移動し、ペトリネットの状態が変更されると
共に前記ペトリネット状態メモリ12にも書込み更新され
る（ステップS2,S3）。この時、トランザクションＸ
は、Ｒで示すコントローラトリガ信号をコンベア移動制
御コントローラ7aに出力し、該コントローラ7aを起動さ
せるので、前記ペトリネット状態メモリ12中のコントロ
ーラ起動待行列にその起動予定が登録される（ステップ
S4,S5）。次に、コントローラ7aが起動し、移動制御信
号S1〜Suが前記コントローラ7aから対応するトランザク
ションY1〜Yuに発せられ、まずトランザクションY1が発
火して製品トークン4pがプレースa1に前進する（ステッ
プS6〜S9）。このとき、Y1は再びコンベア移動制御コン
トローラ7aを起動しているので、コントローラ起動待行
列には、再度起動予定が登録される。このように、フロ
ーチャートの一連の処理ループを実行することによっ
て、トランザクションY2〜Yuが順次発火し、製品のトー
クン4pがプレースa2〜au-1中を前進する。続いて、処理
手順は再度ステップS1に戻り、トランザクションｆの状
態が判断される。このとき、製品トークン4pはプレース
ｂまで到達しているので、トランザクションｆは発火
し、製品トークン4pがプレースｃに移動する（ステップ
S1〜S3）。
ここで、トランザクションｆはコントローラトリガ信
号Ｕによりライン振分け制御コントローラ7bを起動させ
るので、前進コントローラ起動待行列への登録がなされ
る（ステップS4,S5）。更に、起動した前記コントロー
ラ7bにより製品トークン4pを流通させるラインが決定さ
れ、前記ラインに対応する制御信号W1，W2，W3のいずれ
か１つがトランザクションに出力される。それにより、
製品トークン4pは選択されたラインに進行する（ステッ
プS6〜S9）。ここでは、ライン３が選択され、前記コン
トローラ7bからの制御信号W3の出力によりトランザクシ
ョンｊが発火し、プレースｃにあった製品トークン4pは
ライン３の出側プレースr3に移動する。
号Ｕによりライン振分け制御コントローラ7bを起動させ
るので、前進コントローラ起動待行列への登録がなされ
る（ステップS4,S5）。更に、起動した前記コントロー
ラ7bにより製品トークン4pを流通させるラインが決定さ
れ、前記ラインに対応する制御信号W1，W2，W3のいずれ
か１つがトランザクションに出力される。それにより、
製品トークン4pは選択されたラインに進行する（ステッ
プS6〜S9）。ここでは、ライン３が選択され、前記コン
トローラ7bからの制御信号W3の出力によりトランザクシ
ョンｊが発火し、プレースｃにあった製品トークン4pは
ライン３の出側プレースr3に移動する。
上記したように、前記ペトリネット１を用いたシミュ
レータ５は、現実に行われているプロセスコンピュータ
による対象システムの制御と同様の制御を忠実にシミュ
レートすることができる。即ち、プロセスコンピュータ
による前記システムの制御は、製品のトラッキングから
のトリガ信号により前記コンピュータ内の特定の制御プ
ログラムが起動され、前記コンピュータから前記システ
ムに向けて制御信号が発っせられるのであるから、前記
シミュレータ５により動作確認されたコントローラ部７
の制御プログラムは、そのまま他のプロセスコンピュー
タ等に移植することができる。従って、前記シミュレー
タ５は汎用性に優れたものといえる。
レータ５は、現実に行われているプロセスコンピュータ
による対象システムの制御と同様の制御を忠実にシミュ
レートすることができる。即ち、プロセスコンピュータ
による前記システムの制御は、製品のトラッキングから
のトリガ信号により前記コンピュータ内の特定の制御プ
ログラムが起動され、前記コンピュータから前記システ
ムに向けて制御信号が発っせられるのであるから、前記
シミュレータ５により動作確認されたコントローラ部７
の制御プログラムは、そのまま他のプロセスコンピュー
タ等に移植することができる。従って、前記シミュレー
タ５は汎用性に優れたものといえる。
無論、前記動作確認済の制御プログラムを格納したコ
ントローラ部７のコントローラトリガ信号９及び制御信
号８を、前記シミュレータ５から切り離して、直接対象
システムに連結されることによって、前記コントローラ
部７を用いた対象システムの制御をなすこともできる。
ントローラ部７のコントローラトリガ信号９及び制御信
号８を、前記シミュレータ５から切り離して、直接対象
システムに連結されることによって、前記コントローラ
部７を用いた対象システムの制御をなすこともできる。
又、将来変更される可能性のあるコントロールロジッ
クはコントローラ部７側に集中して格納されているの
で、前記ロジックの拡張若しくは変更にも多大な労力を
要することなく対処することが可能である。
クはコントローラ部７側に集中して格納されているの
で、前記ロジックの拡張若しくは変更にも多大な労力を
要することなく対処することが可能である。
本発明によれば、対象システムにおける条件判断や制
御規則に基づくロジックを実行させるコントローラ部
と、前記対象システムの制御の流れが記述され、前記制
御の流れを実行するペトリネットシミュレータ部とから
構成されるペトリネットを用いたシミュレータにおい
て、上記ペトリネットシミュレータ部が、前記コントロ
ーラ部から制御信号を受け入れる制御信号入力部と、前
記コントローラ部へコントローラトリガ信号を出力する
トリガ出力部とを具備してなることを特徴とするペトリ
ネットを用いたシミュレータであるから、モデルの変更
の多いことの予測されるロジックが前記コントローラ部
に格納され、前記モデルの変更もしくは保守を容易に行
うことができる。又、前記シミュレータ自身で対象シス
テムの制御をなしたり、前記シミュレータのコントロー
ラ部内のコントロールロジックを他のコンピュータに導
入して前記制御をなすことも可能となり、従来技術の問
題点を解消することができる。
御規則に基づくロジックを実行させるコントローラ部
と、前記対象システムの制御の流れが記述され、前記制
御の流れを実行するペトリネットシミュレータ部とから
構成されるペトリネットを用いたシミュレータにおい
て、上記ペトリネットシミュレータ部が、前記コントロ
ーラ部から制御信号を受け入れる制御信号入力部と、前
記コントローラ部へコントローラトリガ信号を出力する
トリガ出力部とを具備してなることを特徴とするペトリ
ネットを用いたシミュレータであるから、モデルの変更
の多いことの予測されるロジックが前記コントローラ部
に格納され、前記モデルの変更もしくは保守を容易に行
うことができる。又、前記シミュレータ自身で対象シス
テムの制御をなしたり、前記シミュレータのコントロー
ラ部内のコントロールロジックを他のコンピュータに導
入して前記制御をなすことも可能となり、従来技術の問
題点を解消することができる。
第１図は本発明の一実施例に係るペトリネットを用いた
シミュレータの概略構成を示すブロック図、第２図は同
シミュレータに用いられるペトリネットの構造を示す概
念図、第３図は第１図のシミュレータ構成をより詳細に
示したブロック図、第４図はトランザクションに出入り
するプレース及び信号を示すテーブル図表、第５図はプ
レース内に存在する時刻毎のトークンの情報を示す図
表、第６図はトランザクションによる起動から実動作開
始までのコントローラ情報が蓄積された待行列を示す図
表、第７図は同シミュレータを適用したベルトコンベア
システムの概略構成図、第８図は前記ベルトコンベアシ
ステムをモデル化した同シミュレータのモデルを示す概
念図、第９図は同シミュレータの一例の動作を示すフロ
ーチャート、第10図は、ペトリネットシミュレータ部に
より動作確認済みの制御プログラムを格納するコントロ
ーラ部をオンライン制御に適用した例を示すブロック
図、第11図は本発明の背景となる従来のシミュレータに
用いられるペトリネットの構造を示す概念図である。 〔符号の説明〕 1,1′……ペトリネット 2,2′……トランザクション ３……プレース、４……トークン ５……シミュレータ ６……ペトリネットシミュレータ部 ７……コントローラ部、8a……制御信号入力部 9a……トリガ出力部 14′……振分け工程（対象システム）
シミュレータの概略構成を示すブロック図、第２図は同
シミュレータに用いられるペトリネットの構造を示す概
念図、第３図は第１図のシミュレータ構成をより詳細に
示したブロック図、第４図はトランザクションに出入り
するプレース及び信号を示すテーブル図表、第５図はプ
レース内に存在する時刻毎のトークンの情報を示す図
表、第６図はトランザクションによる起動から実動作開
始までのコントローラ情報が蓄積された待行列を示す図
表、第７図は同シミュレータを適用したベルトコンベア
システムの概略構成図、第８図は前記ベルトコンベアシ
ステムをモデル化した同シミュレータのモデルを示す概
念図、第９図は同シミュレータの一例の動作を示すフロ
ーチャート、第10図は、ペトリネットシミュレータ部に
より動作確認済みの制御プログラムを格納するコントロ
ーラ部をオンライン制御に適用した例を示すブロック
図、第11図は本発明の背景となる従来のシミュレータに
用いられるペトリネットの構造を示す概念図である。 〔符号の説明〕 1,1′……ペトリネット 2,2′……トランザクション ３……プレース、４……トークン ５……シミュレータ ６……ペトリネットシミュレータ部 ７……コントローラ部、8a……制御信号入力部 9a……トリガ出力部 14′……振分け工程（対象システム）
───────────────────────────────────────────────────── フロントページの続き (72)発明者 牛尾 敬二 兵庫県神戸市垂水区向陽２丁目３―18 Ｊ―106 (72)発明者 井塚 悟 兵庫県神戸市垂水区東垂水３丁目12番14 号 (56)参考文献 特開 昭62−89103（ＪＰ，Ａ) 特開 昭63−115204（ＪＰ，Ａ) (58)調査した分野(Int.Cl.6，ＤＢ名) G05B 19/05 G05B 19/02 G05B 23/02
Claims (1)
- 【請求項１】対象システムにおける条件判断や制御規則
に基づくロジックを実行させるコントローラ部と、前記
対象システムの制御の流れが記述され、前記制御の流れ
を実行するペトリネットシミュレータ部とから構成され
るペトリネットを用いたシミュレータにおいて、 上記ペトリネットシミュレータ部が、 前記コントローラ部から制御信号を受け入れる制御信号
入力部と、 前記コントローラ部へコントローラトリガ信号を出力す
るトリガ出力部とを具備してなることを特徴とするペト
リネットを用いたシミュレータ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1176127A JP2769192B2 (ja) | 1989-07-07 | 1989-07-07 | ペトリネットを用いたシミローケースレータ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1176127A JP2769192B2 (ja) | 1989-07-07 | 1989-07-07 | ペトリネットを用いたシミローケースレータ |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0340107A JPH0340107A (ja) | 1991-02-20 |
| JP2769192B2 true JP2769192B2 (ja) | 1998-06-25 |
Family
ID=16008144
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1176127A Expired - Lifetime JP2769192B2 (ja) | 1989-07-07 | 1989-07-07 | ペトリネットを用いたシミローケースレータ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2769192B2 (ja) |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63115204A (ja) * | 1986-11-01 | 1988-05-19 | Fuji Electric Co Ltd | 制御システムのシミユレ−シヨン方法 |
-
1989
- 1989-07-07 JP JP1176127A patent/JP2769192B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH0340107A (ja) | 1991-02-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5890146A (en) | Adaptive process modelling and control | |
| US8190417B2 (en) | Real time simulating method and system using a sequence diagram | |
| EP3748495A1 (en) | Audio playing method and device, terminal and computer-readable storage medium | |
| CN101154293B (zh) | 图像处理方法和图像处理装置 | |
| EP0842467B1 (en) | Process control with evaluation of stored referential expressions | |
| CN107688301A (zh) | Hil仿真系统及其控制方法 | |
| JP2769192B2 (ja) | ペトリネットを用いたシミローケースレータ | |
| JPH05233590A (ja) | ペトリネットによる生産システムシミュレータ装置 | |
| CN106648833B (zh) | 一种软件体系结构建模和仿真系统 | |
| JPH09305639A (ja) | シミュレーション方法および装置 | |
| JP3731929B2 (ja) | デジタル回路をシミュレートする方法および装置 | |
| JP2729061B2 (ja) | シミュレーション装置のゼロ遅延演算処理方式 | |
| JPH07200675A (ja) | 生産工程シミュレーション装置 | |
| JPS5966754A (ja) | 論理シミユレ−シヨンシステム | |
| Giske et al. | Development of Digital Fish Simulation Model | |
| Yamane et al. | Metal-level control architecture for massively multiagent simulations | |
| Steger et al. | A modelbased real-time fault diagnosis system for technical processes | |
| Mitchell et al. | Digital simulation of an aerospace vehicle | |
| JP4168742B2 (ja) | エージェント制御装置、エージェント制御用プログラム、エージェント制御システム | |
| JPH02228576A (ja) | 集積回路のシミュレーション装置 | |
| Wang et al. | Hierarchical Models for the Time Delays of Command and Control (C2) Systems | |
| JPH04264983A (ja) | プリント基板自動配線装置 | |
| JPH0949869A (ja) | 目標追尾制御装置 | |
| JPH02140850A (ja) | 情報処理装置 | |
| JPH05266124A (ja) | 論理回路シミュレーション用回路素子ライブラリの作成方法 |