JPH10320187A - システムモデル化方式及びデータ通信方式 - Google Patents
システムモデル化方式及びデータ通信方式Info
- Publication number
- JPH10320187A JPH10320187A JP9128991A JP12899197A JPH10320187A JP H10320187 A JPH10320187 A JP H10320187A JP 9128991 A JP9128991 A JP 9128991A JP 12899197 A JP12899197 A JP 12899197A JP H10320187 A JPH10320187 A JP H10320187A
- Authority
- JP
- Japan
- Prior art keywords
- variable
- event
- model
- state transition
- communication
- 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.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
Abstract
(57)【要約】
【課題】 機器モデルのイベント間でデータ通信ができ
ず得られるシステムモデルが複雑になるという課題があ
った。 【解決手段】 モデルが使用するデータを状態遷移モデ
ル２の変数宣言部３で定義し、協調関係にあるイベント
の通信変数定義部７で送受信データを定義し、協調関係
に基づいてモデルを結合しモデルのイベント間でのデー
タ通信を可能とする。
ず得られるシステムモデルが複雑になるという課題があ
った。 【解決手段】 モデルが使用するデータを状態遷移モデ
ル２の変数宣言部３で定義し、協調関係にあるイベント
の通信変数定義部７で送受信データを定義し、協調関係
に基づいてモデルを結合しモデルのイベント間でのデー
タ通信を可能とする。
Description
【０００１】
【発明の属する技術分野】この発明は、機器等をモデル
化するための機器モデル、およびモデル化され得られた
機器モデルを用いて、それらの機器等で構成されるシス
テムのシステムモデルの生成方式およびこのシステムモ
デル内で結合された機器モデル間での情報の送受信を実
行するデータ通信方式に関するものである。
化するための機器モデル、およびモデル化され得られた
機器モデルを用いて、それらの機器等で構成されるシス
テムのシステムモデルの生成方式およびこのシステムモ
デル内で結合された機器モデル間での情報の送受信を実
行するデータ通信方式に関するものである。
【０００２】
【従来の技術】システムをモデル化するために、従来か
ら状態遷移モデルが広く用いられている。状態遷移モデ
ルの代表的なものとしてペトリネットが挙げられる。ペ
トリネットは、多くのシステムに適用可能な視覚的で数
学的なモデル化ツールであり、特に、並行的、非同期
的、非決定的、確率的な動作を特徴とする情報処理シス
テムをモデル化するための有力なツールとして従来より
使用されている。
ら状態遷移モデルが広く用いられている。状態遷移モデ
ルの代表的なものとしてペトリネットが挙げられる。ペ
トリネットは、多くのシステムに適用可能な視覚的で数
学的なモデル化ツールであり、特に、並行的、非同期
的、非決定的、確率的な動作を特徴とする情報処理シス
テムをモデル化するための有力なツールとして従来より
使用されている。
【０００３】図１４は、従来の状態遷移モデルとしての
ペトリネットを用いてモデル化されたシステムを示す説
明図である。図において、円で表されるＰｉ（ｉ＝１、
・・・、６）はプレース、長方形で表されるＴｉ（ｉ＝
１、・・・、４）は発火則にしたがって発火するトラン
ジション、プレースからトランジションあるいはトラン
ジションからプレースヘの矢印で表されるのはアーク、
プレース中の黒丸で表されるのはトークンである。トー
クンがトランジションの発火に伴いプレース上を移動し
て、これにより状態の遷移が表される。
ペトリネットを用いてモデル化されたシステムを示す説
明図である。図において、円で表されるＰｉ（ｉ＝１、
・・・、６）はプレース、長方形で表されるＴｉ（ｉ＝
１、・・・、４）は発火則にしたがって発火するトラン
ジション、プレースからトランジションあるいはトラン
ジションからプレースヘの矢印で表されるのはアーク、
プレース中の黒丸で表されるのはトークンである。トー
クンがトランジションの発火に伴いプレース上を移動し
て、これにより状態の遷移が表される。
【０００４】図１４の説明図に示した従来例はペトリネ
ットの簡単な例であり、ある処理が行われた後に２つの
並行処理を行い、この２つの並行処理の両方が終了した
後に、さらに別の処理を行うシステムをモデル化した例
である。
ットの簡単な例であり、ある処理が行われた後に２つの
並行処理を行い、この２つの並行処理の両方が終了した
後に、さらに別の処理を行うシステムをモデル化した例
である。
【０００５】次に動作について説明する。図１４の説明
図で示したシステムモデルの例において、まず、トーク
ンがあるプレースＰ１の処理を行い、プレースＰ１の処
理が終了するとトランジションＴ１が発火可能となる。
トランジションＴ１が発火すると、プレースＰ１からト
ークンが取り除かれ、プレースＰ２、Ｐ３ヘトークンが
加えられる。そして、トークンが加えられたプレースＰ
２、Ｐ３で処理が行われる。次に、プレースＰ２の処理
が終了するとトランジションＴ２が発火可能となり、プ
レースＰ２からトークンが取り除かれ、プレースＰ４ヘ
トークンが加えられる。そして、トークンが加えられた
プレースＰ４で処理が行われる。
図で示したシステムモデルの例において、まず、トーク
ンがあるプレースＰ１の処理を行い、プレースＰ１の処
理が終了するとトランジションＴ１が発火可能となる。
トランジションＴ１が発火すると、プレースＰ１からト
ークンが取り除かれ、プレースＰ２、Ｐ３ヘトークンが
加えられる。そして、トークンが加えられたプレースＰ
２、Ｐ３で処理が行われる。次に、プレースＰ２の処理
が終了するとトランジションＴ２が発火可能となり、プ
レースＰ２からトークンが取り除かれ、プレースＰ４ヘ
トークンが加えられる。そして、トークンが加えられた
プレースＰ４で処理が行われる。
【０００６】同様に、プレースＰ３の処理が終了すると
トランジションＴ３が発火可能となり、プレースＰ３か
らトークンが取り除かれ、プレースＰ５ヘトークンが加
えられる。そして、トークンが加えられたプレースＰ５
で処理が行われる。最後に、トークンが存在するプレー
スＰ４、Ｐ５の両方の処理が終了すると、トランジショ
ンＴ４が発火可能となる。トランジションＴ４が発火す
ると、プレースＰ４、Ｐ５からトークンが取り除かれ、
プレースＰ６ヘトークンが加えられる。そして、プレー
スＰ６の処理を行いシステムの動作が終了する。
トランジションＴ３が発火可能となり、プレースＰ３か
らトークンが取り除かれ、プレースＰ５ヘトークンが加
えられる。そして、トークンが加えられたプレースＰ５
で処理が行われる。最後に、トークンが存在するプレー
スＰ４、Ｐ５の両方の処理が終了すると、トランジショ
ンＴ４が発火可能となる。トランジションＴ４が発火す
ると、プレースＰ４、Ｐ５からトークンが取り除かれ、
プレースＰ６ヘトークンが加えられる。そして、プレー
スＰ６の処理を行いシステムの動作が終了する。
【０００７】システムモデル化の他の従来手法として、
例えば、生産システムを構成する機器を個別にモデル化
し、それらを結合して生産システム全体のモデルを作成
する手法も提案されている。（古澤，吉川，辻堂，藤
田：“状態遷移モデルに基づく生産システムモデル化手
法の開発”，精密工学会秋季大会学術講演会講演論文
集，ｐｐ．３５９−３６０，１９９６）。
例えば、生産システムを構成する機器を個別にモデル化
し、それらを結合して生産システム全体のモデルを作成
する手法も提案されている。（古澤，吉川，辻堂，藤
田：“状態遷移モデルに基づく生産システムモデル化手
法の開発”，精密工学会秋季大会学術講演会講演論文
集，ｐｐ．３５９−３６０，１９９６）。
【０００８】図１５は、機器毎に得られるモデルを結合
できる従来の状態遷移モデルを示す説明図である。この
従来の状態遷移モデルでは、円でプレースを表し、五角
形及び六角形の矢尻形でイベントを表し、矢印でアーク
を表す。図１５に示す従来例では、コンベア（Ｃｏｎｖ
ｅｙｏｒ）とロボット（Ｒｏｂｏｔ）が協調して動作す
る場合を示している。コンベアは、停止している状態と
動作している状態とをもつ。ロボットは、アイドル状態
とワークを搬送している状態とをもつ。コンベアとロボ
ットとの間でワークの受け渡しを行う場合、コンベアと
ロボットは、協調動作を行わなければならない。コンベ
アとロボットのモデルは、それらが協調する部分で結合
する。協調関係定義に基づき、コンベア上でワークの到
着完了を示すａｒｒｉｖｅｄイベントとロボットの動作
の開始を示すｓｔａｒｔイベントを関連付け、それら２
つのイベントをつなげるようにして２つの機器モデルを
結合する。これにより、コンベアがワークを搬送し終わ
った後にロボットが動作を開始するという協調動作をモ
デルとして表現できる。
できる従来の状態遷移モデルを示す説明図である。この
従来の状態遷移モデルでは、円でプレースを表し、五角
形及び六角形の矢尻形でイベントを表し、矢印でアーク
を表す。図１５に示す従来例では、コンベア（Ｃｏｎｖ
ｅｙｏｒ）とロボット（Ｒｏｂｏｔ）が協調して動作す
る場合を示している。コンベアは、停止している状態と
動作している状態とをもつ。ロボットは、アイドル状態
とワークを搬送している状態とをもつ。コンベアとロボ
ットとの間でワークの受け渡しを行う場合、コンベアと
ロボットは、協調動作を行わなければならない。コンベ
アとロボットのモデルは、それらが協調する部分で結合
する。協調関係定義に基づき、コンベア上でワークの到
着完了を示すａｒｒｉｖｅｄイベントとロボットの動作
の開始を示すｓｔａｒｔイベントを関連付け、それら２
つのイベントをつなげるようにして２つの機器モデルを
結合する。これにより、コンベアがワークを搬送し終わ
った後にロボットが動作を開始するという協調動作をモ
デルとして表現できる。
【０００９】
【発明が解決しようとする課題】しかしながら、従来の
状態遷移モデルとしてのペトリネットでは、モデルを個
別に作成しそれらを組み合わせる機能がなかった。その
ため、はじめからシステム全体のモデルを作成しなけれ
ばならず、大規模なシステムをモデル化することは困難
であるという課題があった。また、システムの一部を変
更する場合も、システム全体のモデルに対して修正を施
す必要があり、容易にシステム変更が行えないという課
題があった。さらに、既に提案されている機器モデルを
結合することが可能な従来の状態遷移モデルにおいて
も、以下の（１）、（２）に示す課題を有していた。
状態遷移モデルとしてのペトリネットでは、モデルを個
別に作成しそれらを組み合わせる機能がなかった。その
ため、はじめからシステム全体のモデルを作成しなけれ
ばならず、大規模なシステムをモデル化することは困難
であるという課題があった。また、システムの一部を変
更する場合も、システム全体のモデルに対して修正を施
す必要があり、容易にシステム変更が行えないという課
題があった。さらに、既に提案されている機器モデルを
結合することが可能な従来の状態遷移モデルにおいて
も、以下の（１）、（２）に示す課題を有していた。
【００１０】（１）機器モデル間でやりとりするデータ
を扱えないという課題があった。従来の状態遷移モデル
では、機器モデル間でデータを扱うことが不可能なた
め、モデルとして管理する必要性のある情報は、すべて
モデルの状態として表現する必要があった。例えば図１
５に示す従来例では、ワークが３種類ありワークの種類
によりロボットの搬送先を変更するような場合、従来の
状態遷移モデルでは、ワークの種類の情報をデータとし
て保持することが不可能なので、ワークの種類を区別す
るために、ワークの種類毎にシーケンスを分岐しモデル
化する必要があり複雑になるという課題があった。図１
６は、上記したワークの種類を区別するためにワークの
種類毎にシーケンスを分岐しモデル化した従来例を示す
説明図である。このように従来では、類似した構成の挙
動シーケンスをワークの種類分だけ作成する必要があ
り、図１６に示す従来例のように繁雑なモデルになって
いた。また、システムモデルにおいて、データを保持す
るだけではなく、その値を利用したり容易に変更可能な
機構が必要とされていた。
を扱えないという課題があった。従来の状態遷移モデル
では、機器モデル間でデータを扱うことが不可能なた
め、モデルとして管理する必要性のある情報は、すべて
モデルの状態として表現する必要があった。例えば図１
５に示す従来例では、ワークが３種類ありワークの種類
によりロボットの搬送先を変更するような場合、従来の
状態遷移モデルでは、ワークの種類の情報をデータとし
て保持することが不可能なので、ワークの種類を区別す
るために、ワークの種類毎にシーケンスを分岐しモデル
化する必要があり複雑になるという課題があった。図１
６は、上記したワークの種類を区別するためにワークの
種類毎にシーケンスを分岐しモデル化した従来例を示す
説明図である。このように従来では、類似した構成の挙
動シーケンスをワークの種類分だけ作成する必要があ
り、図１６に示す従来例のように繁雑なモデルになって
いた。また、システムモデルにおいて、データを保持す
るだけではなく、その値を利用したり容易に変更可能な
機構が必要とされていた。
【００１１】（２）機器モデル間でのデータ通信ができ
ないという課題があった。仮に、各機器モデル内でデー
タを扱えた場合でも、それらのデータを他の機器と送受
信できる必要性があった。例えば、ワークが３種類あ
り、ワークの種類によりロボットの搬送先を変更するよ
うな場合、ロボットがワークの種類に応じた動作をする
ためには、コンベア側で保持しているワークの種類の情
報をロボット側が得る必要がある。しかし、従来の状態
遷移モデルでは、機器モデル間でのデータの通信をモデ
ルとして表現することができないという課題があった。
ないという課題があった。仮に、各機器モデル内でデー
タを扱えた場合でも、それらのデータを他の機器と送受
信できる必要性があった。例えば、ワークが３種類あ
り、ワークの種類によりロボットの搬送先を変更するよ
うな場合、ロボットがワークの種類に応じた動作をする
ためには、コンベア側で保持しているワークの種類の情
報をロボット側が得る必要がある。しかし、従来の状態
遷移モデルでは、機器モデル間でのデータの通信をモデ
ルとして表現することができないという課題があった。
【００１２】この発明は上記のような課題を解決するた
めになされたもので、モデル化する対象のシステムが多
数の機器から構成される大規模なシステムの場合であっ
ても、得られるシステムモデルが複雑になることなく、
また相互でデータ通信を必要とする機器からなるシステ
ムを容易に構成が複雑になることなくモデル化し、機器
モデル間でのデータの送受信を表現可能なシステムモデ
ル化方式及びデータ通信方式を得ることを目的とする。
めになされたもので、モデル化する対象のシステムが多
数の機器から構成される大規模なシステムの場合であっ
ても、得られるシステムモデルが複雑になることなく、
また相互でデータ通信を必要とする機器からなるシステ
ムを容易に構成が複雑になることなくモデル化し、機器
モデル間でのデータの送受信を表現可能なシステムモデ
ル化方式及びデータ通信方式を得ることを目的とする。
【００１３】
【課題を解決するための手段】請求項１記載の発明に係
るシステムモデル化方式は、モデル内で使用される変数
を定義する変数宣言部とシステムを構成する機器の状態
遷移を定義するモデル定義部から構成される状態遷移モ
デルを用いて、機器の制御シーケンスを表現し、機器の
モデルを相互に結合させ、変数宣言部に記載された変数
に対応した値をデータ格納領域から得てシステム全体の
動作を制御するシステムモデルを生成するものであり、
変数宣言部で宣言された変数を利用し、変数宣言部に記
述された演算等を実行可能な状態遷移モデルを作成し、
得られたモデルを結合してシステムモデルを作成するも
のである。
るシステムモデル化方式は、モデル内で使用される変数
を定義する変数宣言部とシステムを構成する機器の状態
遷移を定義するモデル定義部から構成される状態遷移モ
デルを用いて、機器の制御シーケンスを表現し、機器の
モデルを相互に結合させ、変数宣言部に記載された変数
に対応した値をデータ格納領域から得てシステム全体の
動作を制御するシステムモデルを生成するものであり、
変数宣言部で宣言された変数を利用し、変数宣言部に記
述された演算等を実行可能な状態遷移モデルを作成し、
得られたモデルを結合してシステムモデルを作成するも
のである。
【００１４】請求項２記載の発明に係るデータ通信方式
は、状態遷移モデルが使用される変数を定義する変数宣
言部とシステムを構成する機器やシステムの状態遷移を
定義するモデル定義部とで構成され、モデル定義部は機
器やシステムのイベントを定義するイベント部を有し、
イベント部はイベントの発火時に行う通信の対象となる
変数を定義する通信変数定義部を有し、通信変数定義部
を有するイベントをもつ複数の状態遷移モデル間の協調
動作する結合部分で、変数宣言部や通信変数定義部を用
いてデータを互いに通信でき、イベント発生時に、複数
のモデルの結合部分でデータを送受信するものである。
は、状態遷移モデルが使用される変数を定義する変数宣
言部とシステムを構成する機器やシステムの状態遷移を
定義するモデル定義部とで構成され、モデル定義部は機
器やシステムのイベントを定義するイベント部を有し、
イベント部はイベントの発火時に行う通信の対象となる
変数を定義する通信変数定義部を有し、通信変数定義部
を有するイベントをもつ複数の状態遷移モデル間の協調
動作する結合部分で、変数宣言部や通信変数定義部を用
いてデータを互いに通信でき、イベント発生時に、複数
のモデルの結合部分でデータを送受信するものである。
【００１５】請求項３記載の発明に係るデータ通信方式
は、複数の状態遷移モデル間の結合部分において、ある
イベント部内の通信変数定義部で定義した送信対象の変
数の値を、他のイベント部内の通信変数定義部で定義し
た受信対象の変数で受け取り、データ通信を複数の状態
遷移モデル間の結合部分で実行し、イベント発生時に、
複数のモデルの結合部分においてイベント部内の通信変
数定義部で定義した送信対象の変数の値を通信変数定義
部で定義した受信変数へ渡すものである。
は、複数の状態遷移モデル間の結合部分において、ある
イベント部内の通信変数定義部で定義した送信対象の変
数の値を、他のイベント部内の通信変数定義部で定義し
た受信対象の変数で受け取り、データ通信を複数の状態
遷移モデル間の結合部分で実行し、イベント発生時に、
複数のモデルの結合部分においてイベント部内の通信変
数定義部で定義した送信対象の変数の値を通信変数定義
部で定義した受信変数へ渡すものである。
【００１６】請求項４記載の発明に係るデータ通信方式
は、複数のイベントに関する各イベント部内の通信変数
定義部で送信対象の変数および受信対象の変数を定義
し、複数の状態遷移モデル間のある１つのイベント結合
部分を介して、送信対象の変数および受信対象の変数に
関する複数のデータ通信を、複数の状態遷移モデル間で
行い、イベント発生時に、複数のモデルの結合部分にお
いてイベントの通信変数定義部で定義した送信対象の変
数から受信対象の変数へ同時に複数のデータを通信する
ものである。
は、複数のイベントに関する各イベント部内の通信変数
定義部で送信対象の変数および受信対象の変数を定義
し、複数の状態遷移モデル間のある１つのイベント結合
部分を介して、送信対象の変数および受信対象の変数に
関する複数のデータ通信を、複数の状態遷移モデル間で
行い、イベント発生時に、複数のモデルの結合部分にお
いてイベントの通信変数定義部で定義した送信対象の変
数から受信対象の変数へ同時に複数のデータを通信する
ものである。
【００１７】請求項５記載の発明に係るデータ通信方式
は、複数の状態遷移モデル間の結合部分において、ある
イベント部内の通信変数定義部で定義した送信対象の変
数および受信対象の変数の値と、他のイベント部内の通
信変数定義部で定義した受信対象の変数および送信対象
の変数とを用いて、双方向のデータ通信を複数の状態遷
移モデル間の結合部分で実行するものである。
は、複数の状態遷移モデル間の結合部分において、ある
イベント部内の通信変数定義部で定義した送信対象の変
数および受信対象の変数の値と、他のイベント部内の通
信変数定義部で定義した受信対象の変数および送信対象
の変数とを用いて、双方向のデータ通信を複数の状態遷
移モデル間の結合部分で実行するものである。
【００１８】
【発明の実施の形態】以下、この発明の実施の一形態を
説明する。 実施の形態１．図１はこの発明の実施の形態１によるシ
ステムモデル化方式及びデータ通信方式を用いて得られ
たシステムモデルを示す説明図、図２はこの発明の実施
の形態によるシステムモデル化方式及びデータ通信方式
で使用されるデータ取扱い可能な状態遷移モデルを示す
構造図であり、図において、１は各機器モデルで使用さ
れる変数値を格納するためのデータ格納領域であり複数
のデータ領域から構成されている。２は各機器やシステ
ムをモデル化して得られる状態遷移モデルであり、変数
宣言部３およびモデル定義部４から構成される。モデル
定義部４は、イベント部５および入力プレース／出力プ
レース６からなる組を複数組備えた構成を有している。
説明する。 実施の形態１．図１はこの発明の実施の形態１によるシ
ステムモデル化方式及びデータ通信方式を用いて得られ
たシステムモデルを示す説明図、図２はこの発明の実施
の形態によるシステムモデル化方式及びデータ通信方式
で使用されるデータ取扱い可能な状態遷移モデルを示す
構造図であり、図において、１は各機器モデルで使用さ
れる変数値を格納するためのデータ格納領域であり複数
のデータ領域から構成されている。２は各機器やシステ
ムをモデル化して得られる状態遷移モデルであり、変数
宣言部３およびモデル定義部４から構成される。モデル
定義部４は、イベント部５および入力プレース／出力プ
レース６からなる組を複数組備えた構成を有している。
【００１９】この実施の形態のシステムモデル化方式及
びデータ通信方式は、例えば図１に示す機器Ａおよび機
器Ｂで構成されるシステムにおいて、２つの機器モデル
Ａ、Ｂの結合部分を介して互いの機器モデルＡ、Ｂ間の
データ通信を可能とするものである。即ち、機器Ａと機
器Ｂから構成されるシステムにおいて、機器Ａのモデル
と機器Ｂのモデルのイベント結合部分で、機器Ａの変数
Ｘの値を機器Ｂの変数Ｙで受信し、これによりシステム
内の機器Ａおよび機器Ｂ間でのデータ通信をモデル化す
るものである。
びデータ通信方式は、例えば図１に示す機器Ａおよび機
器Ｂで構成されるシステムにおいて、２つの機器モデル
Ａ、Ｂの結合部分を介して互いの機器モデルＡ、Ｂ間の
データ通信を可能とするものである。即ち、機器Ａと機
器Ｂから構成されるシステムにおいて、機器Ａのモデル
と機器Ｂのモデルのイベント結合部分で、機器Ａの変数
Ｘの値を機器Ｂの変数Ｙで受信し、これによりシステム
内の機器Ａおよび機器Ｂ間でのデータ通信をモデル化す
るものである。
【００２０】次に動作について説明する。図１の説明図
に示すように、結合するイベントに、データを通信する
変数（通信変数）に関する情報を付加する。送信側のモ
デル（機器Ａ側）では、結合するイベントに記述された
通信変数の情報をもとに、送信するデータの格納領域か
らその値を得て、受信側のモデルにその値を渡す。受信
側のモデルでは、結合するイベントに記述された通信変
数の情報をもとに、受信するデータの格納領域を得て、
受信したデータをデータ格納領域１内の所定のデータ領
域内に格納する。
に示すように、結合するイベントに、データを通信する
変数（通信変数）に関する情報を付加する。送信側のモ
デル（機器Ａ側）では、結合するイベントに記述された
通信変数の情報をもとに、送信するデータの格納領域か
らその値を得て、受信側のモデルにその値を渡す。受信
側のモデルでは、結合するイベントに記述された通信変
数の情報をもとに、受信するデータの格納領域を得て、
受信したデータをデータ格納領域１内の所定のデータ領
域内に格納する。
【００２１】図２に示す状態遷移モデル２は、機器やシ
ステムの挙動を表現する。状態遷移モデル２においてデ
ータの取扱いを可能とするため、この実施の形態のシス
テムモデル化方式及びデータ通信方式で用いられる状態
遷移モデル２は、変数宣言部３と機器やシステムの状態
遷移を表現する情報をイベント毎に列挙した少なくとも
１つ以上のモデル定義部４、即ちイベント部５と入力プ
レース／出力プレース６から構成されており、具体的に
は、図２に示すように、（イベント１、入力プレース
１、出力プレース１）、．．．、（イベントｎ、入力プ
レースｎ、出力プレースｎ）からなる。
ステムの挙動を表現する。状態遷移モデル２においてデ
ータの取扱いを可能とするため、この実施の形態のシス
テムモデル化方式及びデータ通信方式で用いられる状態
遷移モデル２は、変数宣言部３と機器やシステムの状態
遷移を表現する情報をイベント毎に列挙した少なくとも
１つ以上のモデル定義部４、即ちイベント部５と入力プ
レース／出力プレース６から構成されており、具体的に
は、図２に示すように、（イベント１、入力プレース
１、出力プレース１）、．．．、（イベントｎ、入力プ
レースｎ、出力プレースｎ）からなる。
【００２２】変数宣言部３では、その機器モデル内で使
用する変数を宣言する。機器の状態遷移は、モデル定義
部４内のイベント部５とそのイベントに対する入力プレ
ース／出力プレース６によって表現される。入力プレー
ス／出力プレース６は複数個存在することもあり、その
場合はそれらをすべて列挙する（入力プレース１、出力
プレース１、．．．入力プレースｎ、出力プレースｎ等
々）。入力プレース／出力プレース６は、いずれも同じ
入出力プレース構造として定義する。モデル内のすべて
のイベントについて、これらの状態遷移を表す情報を列
挙して定義する。状態遷移モデル２で定義した複数のモ
デルを結合した場合、結合後のモデルも状態遷移モデル
２の構造を有するものとする。また、結合後のモデルで
は、結合したすべてのモデルの変数宣言部を統合した構
成となる。
用する変数を宣言する。機器の状態遷移は、モデル定義
部４内のイベント部５とそのイベントに対する入力プレ
ース／出力プレース６によって表現される。入力プレー
ス／出力プレース６は複数個存在することもあり、その
場合はそれらをすべて列挙する（入力プレース１、出力
プレース１、．．．入力プレースｎ、出力プレースｎ等
々）。入力プレース／出力プレース６は、いずれも同じ
入出力プレース構造として定義する。モデル内のすべて
のイベントについて、これらの状態遷移を表す情報を列
挙して定義する。状態遷移モデル２で定義した複数のモ
デルを結合した場合、結合後のモデルも状態遷移モデル
２の構造を有するものとする。また、結合後のモデルで
は、結合したすべてのモデルの変数宣言部を統合した構
成となる。
【００２３】図３は、図２に示した状態遷移モデル２内
の変数宣言部３を示す構成図である。この変数宣言部３
では、モデル内で用いるすべての変数に対して、その変
数名、変数の型、変数の初期値を記述する。変数の型
は、例えば、ＩＮＴ（整数）、ＲＥＡＬ（実数）、ＢＯ
ＯＬ（ＴＲＵＥ／ＦＡＬＳＥ）等がある。変数の初期値
を設定する必要がない場合は、初期値の設定は省略して
もよい。変数宣言部３で宣言したすべての変数につい
て、その変数の型に応じたデータ領域をデータ格納領域
１内にそれぞれ確保する。
の変数宣言部３を示す構成図である。この変数宣言部３
では、モデル内で用いるすべての変数に対して、その変
数名、変数の型、変数の初期値を記述する。変数の型
は、例えば、ＩＮＴ（整数）、ＲＥＡＬ（実数）、ＢＯ
ＯＬ（ＴＲＵＥ／ＦＡＬＳＥ）等がある。変数の初期値
を設定する必要がない場合は、初期値の設定は省略して
もよい。変数宣言部３で宣言したすべての変数につい
て、その変数の型に応じたデータ領域をデータ格納領域
１内にそれぞれ確保する。
【００２４】図４は、図２に示した状態遷移モデル２内
の入力プレース／出力プレース６を示す構造図である。
入力プレースおよび出力プレースのそれぞれは、プレー
ス名とそれに対応する変数演算定義部との組を列挙した
構造をもつ（プレース名１、変数演算定義部１、．．．
プレース名ｎ、変数演算定義部ｎ）。ここで、変数演算
定義部とは、プレースにトークンが存在するときに実行
する演算を定義する部分である。例えば、図１５に示し
たシステムモデル内のコンベアでワークを搬送している
ことを表す“ｒｕｎ”のプレースにトークンが存在する
場合で、かつコンベアのモータをＯＮする場合、コンベ
アの“ｒｕｎ”というプレースに対応する変数演算定義
部には、例えば、“Ｍｏｔｏｒ：＝ＴＲＵＥ”のような
定義が記述される。１つのイベントに対する入力プレー
スは複数存在することもある。
の入力プレース／出力プレース６を示す構造図である。
入力プレースおよび出力プレースのそれぞれは、プレー
ス名とそれに対応する変数演算定義部との組を列挙した
構造をもつ（プレース名１、変数演算定義部１、．．．
プレース名ｎ、変数演算定義部ｎ）。ここで、変数演算
定義部とは、プレースにトークンが存在するときに実行
する演算を定義する部分である。例えば、図１５に示し
たシステムモデル内のコンベアでワークを搬送している
ことを表す“ｒｕｎ”のプレースにトークンが存在する
場合で、かつコンベアのモータをＯＮする場合、コンベ
アの“ｒｕｎ”というプレースに対応する変数演算定義
部には、例えば、“Ｍｏｔｏｒ：＝ＴＲＵＥ”のような
定義が記述される。１つのイベントに対する入力プレー
スは複数存在することもある。
【００２５】同様に、１つのイベントに対する出力プレ
ースは複数存在することもある。存在するプレースの数
だけ、プレース名と変数演算定義部の組を列挙する。例
えば、図１５に示したシステムモデルで、コンベアの到
着完了を示すａｒｒｉｖｅｄイベントとロボットの動作
開始を示すｓｔａｒｔイベントとの結合イベントに対す
る入力プレースは、コンベアのｒｕｎプレースとロボッ
トのｉｄｌｅプレースであるので、その入力プレースの
構造には、プレース名と変数演算定義部の組が２つ列挙
される。
ースは複数存在することもある。存在するプレースの数
だけ、プレース名と変数演算定義部の組を列挙する。例
えば、図１５に示したシステムモデルで、コンベアの到
着完了を示すａｒｒｉｖｅｄイベントとロボットの動作
開始を示すｓｔａｒｔイベントとの結合イベントに対す
る入力プレースは、コンベアのｒｕｎプレースとロボッ
トのｉｄｌｅプレースであるので、その入力プレースの
構造には、プレース名と変数演算定義部の組が２つ列挙
される。
【００２６】次に、状態遷移モデル２でデータを処理す
るために用いる変数演算定義部８について説明する。変
数演算定義部８は、変数を実際に用いて実行する演算式
とその演算結果を代入する変数を定義する部分から構成
される。この定義は、状態遷移モデル２の各入力プレー
ス／出力プレース６で行う。プレースに対して定義した
演算は、そのプレースにトークンが到着した時点で１度
だけ実行する。各変数演算定義部８には、変数や数値を
用いた演算式及びその演算結果を代入する変数を記述す
る。
るために用いる変数演算定義部８について説明する。変
数演算定義部８は、変数を実際に用いて実行する演算式
とその演算結果を代入する変数を定義する部分から構成
される。この定義は、状態遷移モデル２の各入力プレー
ス／出力プレース６で行う。プレースに対して定義した
演算は、そのプレースにトークンが到着した時点で１度
だけ実行する。各変数演算定義部８には、変数や数値を
用いた演算式及びその演算結果を代入する変数を記述す
る。
【００２７】図５は、図４に示した入力プレース／出力
プレース６内の変数演算定義部８の記述例を示す説明図
であり、図において、Ｘ０、Ｘ１はＩＮＴ型、Ｍ０、Ｍ
１、Ｍ２はＢＯＯＬ型である。例えば、Ｘ０の値と５と
の積をＸ１に代入することを“：＝”を用いて“Ｘ１：
＝Ｘ０＊５”と記述する。変数演算定義部８における定
義は、このような代入文を列挙して行う。各代入文は、
例えば“；”という記号で区切る。
プレース６内の変数演算定義部８の記述例を示す説明図
であり、図において、Ｘ０、Ｘ１はＩＮＴ型、Ｍ０、Ｍ
１、Ｍ２はＢＯＯＬ型である。例えば、Ｘ０の値と５と
の積をＸ１に代入することを“：＝”を用いて“Ｘ１：
＝Ｘ０＊５”と記述する。変数演算定義部８における定
義は、このような代入文を列挙して行う。各代入文は、
例えば“；”という記号で区切る。
【００２８】図６は、図２に示した状態遷移モデル２内
のイベント部５を示す構造図である。イベント部５は、
イベント名とイベント発火条件式と通信変数定義部７か
らなる組を複数個列挙した構造を持つ。ここで、イベン
ト発火条件式とは、イベントを引き起こすトリガとなる
条件式のことである。通信変数定義部７とは、イベント
発火時に通信する変数を定義する部分のことである。他
のモデルのイベントによって引き起こされるイベント
は、そのイベント自身では発火できないので、イベント
発火条件式は定義しない。
のイベント部５を示す構造図である。イベント部５は、
イベント名とイベント発火条件式と通信変数定義部７か
らなる組を複数個列挙した構造を持つ。ここで、イベン
ト発火条件式とは、イベントを引き起こすトリガとなる
条件式のことである。通信変数定義部７とは、イベント
発火時に通信する変数を定義する部分のことである。他
のモデルのイベントによって引き起こされるイベント
は、そのイベント自身では発火できないので、イベント
発火条件式は定義しない。
【００２９】協調関係により結合したすべてのイベント
は、１つのイベント構造として定義する。結合している
イベントの数だけ、イベント名とイベント発火条件式と
通信変数定義部７の組を列挙する。例えば、図１５に示
したシステムモデルでは、協調関係によりコンベアのａ
ｒｒｉｖｅｄというイベントとロボットのｓｔａｒｔと
いうイベントが結合しているので、その部分は１つのイ
ベント構造で表され、そのイベント構造には、イベント
名とイベント発火条件式と通信変数定義部７の組が２つ
列挙される。
は、１つのイベント構造として定義する。結合している
イベントの数だけ、イベント名とイベント発火条件式と
通信変数定義部７の組を列挙する。例えば、図１５に示
したシステムモデルでは、協調関係によりコンベアのａ
ｒｒｉｖｅｄというイベントとロボットのｓｔａｒｔと
いうイベントが結合しているので、その部分は１つのイ
ベント構造で表され、そのイベント構造には、イベント
名とイベント発火条件式と通信変数定義部７の組が２つ
列挙される。
【００３０】イベント発火条件式として定義可能な条件
式は、ＢＯＯＬ値（ＴＲＵＥまたはＦＡＬＳＥ）をもつ
関係式、論理式あるいはそれらの組み合わせである。条
件式では関係演算子、論理演算子及び括弧を用いて表現
する。
式は、ＢＯＯＬ値（ＴＲＵＥまたはＦＡＬＳＥ）をもつ
関係式、論理式あるいはそれらの組み合わせである。条
件式では関係演算子、論理演算子及び括弧を用いて表現
する。
【００３１】図７は、図６に示したイベント内のイベン
ト発火条件式の例を示す説明図であり、図において、
“（Ｘ０＜＝５）ＡＮＤ（ＮＯＴ Ｍ１）”は定義され
たイベントの発火条件であり、Ｘ０が５以下であり、か
つ、Ｍ１がＦＡＬＳＥであるときにイベントが発火する
ことを表している。これにより、複雑な条件によって状
態遷移を行うモデルを記述することが可能になる。
ト発火条件式の例を示す説明図であり、図において、
“（Ｘ０＜＝５）ＡＮＤ（ＮＯＴ Ｍ１）”は定義され
たイベントの発火条件であり、Ｘ０が５以下であり、か
つ、Ｍ１がＦＡＬＳＥであるときにイベントが発火する
ことを表している。これにより、複雑な条件によって状
態遷移を行うモデルを記述することが可能になる。
【００３２】図１５に示したシステムにおいて、ワーク
をコンベアによって搬送し、ある場所にワークが到着し
たらセンサが反応し、それに応じてロボットが動作を開
始するという場合、コンベアのａｒｒｉｖｅｄというイ
ベントに対するイベント発火条件式は、例えば、“Ｓｅ
ｎｓｏｒ＝＝ＴＲＵＥ”となる。
をコンベアによって搬送し、ある場所にワークが到着し
たらセンサが反応し、それに応じてロボットが動作を開
始するという場合、コンベアのａｒｒｉｖｅｄというイ
ベントに対するイベント発火条件式は、例えば、“Ｓｅ
ｎｓｏｒ＝＝ＴＲＵＥ”となる。
【００３３】次に、機器間でデータを通信するデータ通
信方式について説明する。機器間でのデータの通信は、
ある所定のタイミングで行う。そのタイミングは、イベ
ントで表現される。即ち、機器間のデータ通信は、それ
らの機器モデルの結合（協調）部分で行う。
信方式について説明する。機器間でのデータの通信は、
ある所定のタイミングで行う。そのタイミングは、イベ
ントで表現される。即ち、機器間のデータ通信は、それ
らの機器モデルの結合（協調）部分で行う。
【００３４】図１に示したシステムモデルの説明図は、
モデル間でのデータ通信を表現している。図１に示した
システムモデルの場合、機器Ａと機器Ｂのイベント結合
部分で、機器Ａの変数Ｘの値を機器Ｂの変数Ｙで受ける
ことにより、データの通信を行うことができる。図２に
示した状態遷移モデル２内の変数宣言部３で宣言された
変数の名前を、結合部分のイベントに関する通信変数定
義部７内に記述することにより、データ通信で使用する
変数の定義を行う。
モデル間でのデータ通信を表現している。図１に示した
システムモデルの場合、機器Ａと機器Ｂのイベント結合
部分で、機器Ａの変数Ｘの値を機器Ｂの変数Ｙで受ける
ことにより、データの通信を行うことができる。図２に
示した状態遷移モデル２内の変数宣言部３で宣言された
変数の名前を、結合部分のイベントに関する通信変数定
義部７内に記述することにより、データ通信で使用する
変数の定義を行う。
【００３５】図８は、図６に示したイベント内の通信変
数定義部７を示す構造図である。通信変数定義部７に
は、通信するすべてのデータに対して、通信相手を特定
するための通信識別子、通信する方向（送信あるいは受
信）、通信する変数の名前をそれぞれ記述する。図１に
示したシステムモデルの場合、２つのモデルの結合（協
調）部分において、機器Ａのモデルのイベントに対応す
る通信変数定義部７では、例えば、通信識別子を“１”
と定義し、通信方向を“Ｓｅｎｄ”と定義し、変数名を
“Ｘ”と定義する。また、機器Ｂのモデルのイベントに
対応する通信変数定義部７では、例えば、通信識別子を
“１”と定義し、通信方向を“Ｒｅｃｖ”と定義し、変
数名を“Ｙ”と定義する。
数定義部７を示す構造図である。通信変数定義部７に
は、通信するすべてのデータに対して、通信相手を特定
するための通信識別子、通信する方向（送信あるいは受
信）、通信する変数の名前をそれぞれ記述する。図１に
示したシステムモデルの場合、２つのモデルの結合（協
調）部分において、機器Ａのモデルのイベントに対応す
る通信変数定義部７では、例えば、通信識別子を“１”
と定義し、通信方向を“Ｓｅｎｄ”と定義し、変数名を
“Ｘ”と定義する。また、機器Ｂのモデルのイベントに
対応する通信変数定義部７では、例えば、通信識別子を
“１”と定義し、通信方向を“Ｒｅｃｖ”と定義し、変
数名を“Ｙ”と定義する。
【００３６】図９は、この実施の形態のシステムモデル
化方式及びデータ通信方式を用いて得られた３つの機器
からなるシステムモデルを示す説明図である。図１に示
したシステムモデルの例では、機器Ａと機器Ｂの２つの
機器モデル間でのデータ通信であったが、この発明のシ
ステムモデル化方式及びデータ通信方式によれば、図９
に示すように、３つの機器モデルが結合した場合も、２
つ機器モデルからなるシステムモデルの場合と同様に、
機器モデル間でのデータ通信を定義することができる。
図９に示すシステムモデルの例では、３つのモデルのイ
ベント結合部分で、機器Ａの変数Ｘの値を機器Ｂの変数
Ｙ及び機器Ｃの変数Ｚで受けることを表している。この
ように、この発明のシステムモデル化方式及びデータ通
信方式によれば、結合するモデルの数がさらに増加した
場合であっても、上記と同様にしてモデル間のデータ通
信を定義することができる。
化方式及びデータ通信方式を用いて得られた３つの機器
からなるシステムモデルを示す説明図である。図１に示
したシステムモデルの例では、機器Ａと機器Ｂの２つの
機器モデル間でのデータ通信であったが、この発明のシ
ステムモデル化方式及びデータ通信方式によれば、図９
に示すように、３つの機器モデルが結合した場合も、２
つ機器モデルからなるシステムモデルの場合と同様に、
機器モデル間でのデータ通信を定義することができる。
図９に示すシステムモデルの例では、３つのモデルのイ
ベント結合部分で、機器Ａの変数Ｘの値を機器Ｂの変数
Ｙ及び機器Ｃの変数Ｚで受けることを表している。この
ように、この発明のシステムモデル化方式及びデータ通
信方式によれば、結合するモデルの数がさらに増加した
場合であっても、上記と同様にしてモデル間のデータ通
信を定義することができる。
【００３７】他のモデルのイベントを引き起こすイベン
トに係る通信変数定義部７には、送信するすべてのデー
タについて定義する。他のモデルのイベントによって引
き起こされるイベントの通信変数定義部７には、送信側
に対応するように受信するすべてのデータについて定義
する。すなわち、１つのイベント結合部分で複数のデー
タを送受信することができる。これにより、送信側のイ
ベントの通信変数定義部７に記述した変数の値を、その
イベントに結合したすべての受信側のイベントの通信変
数定義部７に記述した変数へ渡す動作、即ちデータ通信
を行うことができる。
トに係る通信変数定義部７には、送信するすべてのデー
タについて定義する。他のモデルのイベントによって引
き起こされるイベントの通信変数定義部７には、送信側
に対応するように受信するすべてのデータについて定義
する。すなわち、１つのイベント結合部分で複数のデー
タを送受信することができる。これにより、送信側のイ
ベントの通信変数定義部７に記述した変数の値を、その
イベントに結合したすべての受信側のイベントの通信変
数定義部７に記述した変数へ渡す動作、即ちデータ通信
を行うことができる。
【００３８】図１０は、この実施の形態のシステムモデ
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
の発明のシステムモデル化方式及びデータ通信方式で
は、他のモデルのイベントを引き起こすイベントの通信
変数定義部７内に送信するデータを定義し、他のモデル
のイベントによって引き起こされるイベントの通信変数
定義部７内に受信するデー夕を定義する必要は必ずしも
なく、例えば、図１０に示すように、他のモデルのイベ
ントにより引き起こされるイベントの通信変数定義部７
内に送信するデータを定義し、他のモデルのイベントを
引き起こすイベントの通信変数定義部７内に受信するデ
ータを定義してもよい。
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
の発明のシステムモデル化方式及びデータ通信方式で
は、他のモデルのイベントを引き起こすイベントの通信
変数定義部７内に送信するデータを定義し、他のモデル
のイベントによって引き起こされるイベントの通信変数
定義部７内に受信するデー夕を定義する必要は必ずしも
なく、例えば、図１０に示すように、他のモデルのイベ
ントにより引き起こされるイベントの通信変数定義部７
内に送信するデータを定義し、他のモデルのイベントを
引き起こすイベントの通信変数定義部７内に受信するデ
ータを定義してもよい。
【００３９】図１０に示したシステムモデルの場合、機
器Ａと機器Ｂのイベント結合部分で、機器Ｂの変数Ｙの
値を機器Ａの変数Ｘで受けることにより、データの通信
を行っている。図１０に示すように、変数宣言部３で宣
言した変数の名前をモデル結合部分のイベントの通信変
数定義部７に記述することにより、データを通信する変
数を定義する。
器Ａと機器Ｂのイベント結合部分で、機器Ｂの変数Ｙの
値を機器Ａの変数Ｘで受けることにより、データの通信
を行っている。図１０に示すように、変数宣言部３で宣
言した変数の名前をモデル結合部分のイベントの通信変
数定義部７に記述することにより、データを通信する変
数を定義する。
【００４０】図１０に示したシステムモデルは、機器Ａ
と機器Ｂの２つのモデル間でのデータ通信の例であった
が、結合するモデルの数がさらに増加しても、同様にし
てモデル間のデータ通信を定義することができる。
と機器Ｂの２つのモデル間でのデータ通信の例であった
が、結合するモデルの数がさらに増加しても、同様にし
てモデル間のデータ通信を定義することができる。
【００４１】図１１は、この実施の形態のシステムモデ
ル化方式及びデータ通信方式を用いて得られた４つの機
器からなる他のシステムモデルを示す説明図である。こ
の発明のシステムモデル化方式及びデータ通信方式によ
れば、１つのイベント結合部分において送信するデータ
をもつイベントは１つである必要はなく、図１１に示す
システムモデルの例のように、送信する変数を複数のイ
ベントで定義し、それらの値を受信する変数を、複数の
イベントで定義してもよい。通信する相手を特定できる
ように、通信変数定義部７内で通信識別子を定義するこ
とにより、１つのイベント結合部分において複数のデー
タ通信を行うことができる。
ル化方式及びデータ通信方式を用いて得られた４つの機
器からなる他のシステムモデルを示す説明図である。こ
の発明のシステムモデル化方式及びデータ通信方式によ
れば、１つのイベント結合部分において送信するデータ
をもつイベントは１つである必要はなく、図１１に示す
システムモデルの例のように、送信する変数を複数のイ
ベントで定義し、それらの値を受信する変数を、複数の
イベントで定義してもよい。通信する相手を特定できる
ように、通信変数定義部７内で通信識別子を定義するこ
とにより、１つのイベント結合部分において複数のデー
タ通信を行うことができる。
【００４２】図１１に示すシステムモデルの例の場合、
４つの機器Ａ、機器Ｂ、機器Ｃ、機器Ｄのイベント結合
部分で、機器Ａの変数Ｘの値を機器Ｃの変数Ｚで受け、
機器Ｂの変数Ｙの値を機器Ｄの変数Ｗで受けるデータ通
信を行っている。この場合、４つのモデルの結合（協
調）部分において、例えば、機器Ａのモデルのイベント
に対する通信変数定義部７では、通信識別子を“１”と
定義し、通信方向を“Ｓｅｎｄ”と定義し、変数名を
“Ｘ”と定義し、機器Ｃのモデルのイベントに対する通
信変数定義部７では、通信識別子を“１”と定義し、通
信方向を“Ｒｅｃｖ”と定義し、変数名を“Ｚ”と定義
する。また、機器Ｂのモデルのイベントに対する通信変
数定義部７では、通信識別子を“２”と定義し、通信方
向を“Ｓｅｎｄ”と定義し、変数名を“Ｙ”と定義し、
機器Ｄのモデルのイベントに対する通信変数定義部７で
は、通信識別子を“２”と定義し、通信方向を“Ｒｅｃ
ｖ”と定義し、変数名を“Ｗ”と定義する。このように
して、１つのイベント結合部分で複数の異なるデータ通
信を表現することができる。
４つの機器Ａ、機器Ｂ、機器Ｃ、機器Ｄのイベント結合
部分で、機器Ａの変数Ｘの値を機器Ｃの変数Ｚで受け、
機器Ｂの変数Ｙの値を機器Ｄの変数Ｗで受けるデータ通
信を行っている。この場合、４つのモデルの結合（協
調）部分において、例えば、機器Ａのモデルのイベント
に対する通信変数定義部７では、通信識別子を“１”と
定義し、通信方向を“Ｓｅｎｄ”と定義し、変数名を
“Ｘ”と定義し、機器Ｃのモデルのイベントに対する通
信変数定義部７では、通信識別子を“１”と定義し、通
信方向を“Ｒｅｃｖ”と定義し、変数名を“Ｚ”と定義
する。また、機器Ｂのモデルのイベントに対する通信変
数定義部７では、通信識別子を“２”と定義し、通信方
向を“Ｓｅｎｄ”と定義し、変数名を“Ｙ”と定義し、
機器Ｄのモデルのイベントに対する通信変数定義部７で
は、通信識別子を“２”と定義し、通信方向を“Ｒｅｃ
ｖ”と定義し、変数名を“Ｗ”と定義する。このように
して、１つのイベント結合部分で複数の異なるデータ通
信を表現することができる。
【００４３】図１２は、この実施の形態のシステムモデ
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
のシステムモデル化方式及びデータ通信方式では、上記
した各例の説明からもわかるように、結合したモデルの
１つのイベントの通信変数定義部７に複数の変数を定義
してもよいし、送信変数と受信変数とを共に定義しても
よい。図１２に示すシステムモデル例の場合、機器Ａと
機器Ｂのイベント結合部分で、機器Ｂの変数Ｙの値を機
器Ａの変数Ｘで受け、機器Ａの変数Ｚの値を機器Ｂの変
数Ｗで受けることで、双方向データ通信を行うことがで
きる。
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
のシステムモデル化方式及びデータ通信方式では、上記
した各例の説明からもわかるように、結合したモデルの
１つのイベントの通信変数定義部７に複数の変数を定義
してもよいし、送信変数と受信変数とを共に定義しても
よい。図１２に示すシステムモデル例の場合、機器Ａと
機器Ｂのイベント結合部分で、機器Ｂの変数Ｙの値を機
器Ａの変数Ｘで受け、機器Ａの変数Ｚの値を機器Ｂの変
数Ｗで受けることで、双方向データ通信を行うことがで
きる。
【００４４】送信側のイベント内の通信変数定義部７で
は、受信側が必要とするデータ以外のデータも定義され
ていることがある。そのような場合、送信側のイベント
内の通信変数定義部７で定義されたすべての送信データ
に対応する受信データを、受信側のイベント内の通信変
数定義部７で定義する必要はなく、必要なデータに対応
するものだけを定義すればよい。例えば、機器Ａ、機器
Ｂ、機器Ｃの３つのモデルが１つのイベントで結合して
いる場合、その結合部分において、機器ＡからデータＡ
１とデータＡ２を送信し、機器ＢではデータＡ１を変数
Ｂで受け、機器ＣではデータＡ２を変数Ｃで受けたい場
合、機器Ｂのイベントの通信変数定義部７では、データ
Ａ１に対応するように変数Ｂを定義するだけでよく、デ
ータＡ２に対応するような変数を定義する必要はない。
また、機器Ｃのイベントの通信変数定義部７では、デー
タＡ２に対応するように変数Ｃを定義するだけでよく、
データＡ１に対応するような変数を定義する必要はな
い。
は、受信側が必要とするデータ以外のデータも定義され
ていることがある。そのような場合、送信側のイベント
内の通信変数定義部７で定義されたすべての送信データ
に対応する受信データを、受信側のイベント内の通信変
数定義部７で定義する必要はなく、必要なデータに対応
するものだけを定義すればよい。例えば、機器Ａ、機器
Ｂ、機器Ｃの３つのモデルが１つのイベントで結合して
いる場合、その結合部分において、機器ＡからデータＡ
１とデータＡ２を送信し、機器ＢではデータＡ１を変数
Ｂで受け、機器ＣではデータＡ２を変数Ｃで受けたい場
合、機器Ｂのイベントの通信変数定義部７では、データ
Ａ１に対応するように変数Ｂを定義するだけでよく、デ
ータＡ２に対応するような変数を定義する必要はない。
また、機器Ｃのイベントの通信変数定義部７では、デー
タＡ２に対応するように変数Ｃを定義するだけでよく、
データＡ１に対応するような変数を定義する必要はな
い。
【００４５】図１３は、この実施の形態のシステムモデ
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
のシステムモデル化方式及びデータ通信方式では、必ず
しも受信側の通信変数定義部７で定義したすべての変数
に対して、送信変数を他のモデルのイベントの通信変数
定義部７で定義する必要はない。その場合、対応する送
信変数がない受信変数には、初期値が格納される。図１
３に示すシステムモデルの例の場合、モデル結合部分の
イベントの通信変数定義部で、機器Ｂの受信変数Ｗに対
応する送信変数が定義されていないので、このイベント
が起こったときには、変数Ｗに初期値が格納される。
ル化方式及びデータ通信方式を用いて得られた２つの機
器からなる他のシステムモデルを示す説明図である。こ
のシステムモデル化方式及びデータ通信方式では、必ず
しも受信側の通信変数定義部７で定義したすべての変数
に対して、送信変数を他のモデルのイベントの通信変数
定義部７で定義する必要はない。その場合、対応する送
信変数がない受信変数には、初期値が格納される。図１
３に示すシステムモデルの例の場合、モデル結合部分の
イベントの通信変数定義部で、機器Ｂの受信変数Ｗに対
応する送信変数が定義されていないので、このイベント
が起こったときには、変数Ｗに初期値が格納される。
【００４６】さらに、上述した各システムモデルにおい
て、対応する送信変数がない受信変数に、必ずしも初期
値を格納する必要はなく、あらかじめ、ある値を定めて
おき、対応する送信変数がない受信変数には、その値が
格納されてもよい。
て、対応する送信変数がない受信変数に、必ずしも初期
値を格納する必要はなく、あらかじめ、ある値を定めて
おき、対応する送信変数がない受信変数には、その値が
格納されてもよい。
【００４７】以上のように、この実施の形態によれば、
システムを構成する各機器の挙動を定義する状態遷移モ
デル２内の変数宣言部３を用いてモデル内で使用するす
べての変数を定義し使用することが可能であるので、機
器の情報を状態として保持する必要性はなく、機器モデ
ルやシステムモデルの構造を簡潔に表現してモデルを容
易に作成できる。また、作成したモデルを協調関係に基
づいて結合する場合に、イベント部５内の通信変数定義
部７を用いて、あるタイミングでその結合するイベント
を通してデータを通信しモデル間で情報を互いに利用で
き、さらに、あるタイミングで結合するイベントを通し
て、同時に複数のデータ通信を行うことができるので、
モデル間で同時に多くの情報を互いに利用することがで
きる。
システムを構成する各機器の挙動を定義する状態遷移モ
デル２内の変数宣言部３を用いてモデル内で使用するす
べての変数を定義し使用することが可能であるので、機
器の情報を状態として保持する必要性はなく、機器モデ
ルやシステムモデルの構造を簡潔に表現してモデルを容
易に作成できる。また、作成したモデルを協調関係に基
づいて結合する場合に、イベント部５内の通信変数定義
部７を用いて、あるタイミングでその結合するイベント
を通してデータを通信しモデル間で情報を互いに利用で
き、さらに、あるタイミングで結合するイベントを通し
て、同時に複数のデータ通信を行うことができるので、
モデル間で同時に多くの情報を互いに利用することがで
きる。
【００４８】
【発明の効果】以上のように、請求項１記載の発明によ
れば、状態遷移モデルをモデル内で使用される変数を定
義する変数宣言部とシステムを構成する機器の状態遷移
を定義するモデル定義部とで構成し、この状態遷移モデ
ルを用いて、機器の制御シーケンスを表現し、機器のモ
デルを相互に結合させ、変数宣言部に記載された変数値
をデータ格納領域から得てシステム全体の動作を制御す
るシステムモデルを生成するように構成したので、機器
の情報を状態として保持する必要はなく、変数宣言部で
宣言された変数を利用し、変数宣言部に記述された演算
等を実行可能な状態遷移モデルを作成し、得られたモデ
ルを結合してシステムモデルを容易に煩雑になることな
く作成できる効果がある。
れば、状態遷移モデルをモデル内で使用される変数を定
義する変数宣言部とシステムを構成する機器の状態遷移
を定義するモデル定義部とで構成し、この状態遷移モデ
ルを用いて、機器の制御シーケンスを表現し、機器のモ
デルを相互に結合させ、変数宣言部に記載された変数値
をデータ格納領域から得てシステム全体の動作を制御す
るシステムモデルを生成するように構成したので、機器
の情報を状態として保持する必要はなく、変数宣言部で
宣言された変数を利用し、変数宣言部に記述された演算
等を実行可能な状態遷移モデルを作成し、得られたモデ
ルを結合してシステムモデルを容易に煩雑になることな
く作成できる効果がある。
【００４９】請求項２記載の発明によれば、状態遷移モ
デルを使用される変数を定義する変数宣言部とシステム
を構成する機器やシステムの状態遷移を定義するモデル
定義部とで構成し、状態遷移モデル内のモデル定義部は
機器やシステムのイベントを定義するイベント部を有
し、イベント部はイベントの発火時に行う通信の対象と
なる変数を定義する通信変数定義部を有し、通信変数定
義部を有するイベントをもつ複数の状態遷移モデル間の
協調動作する部分で状態遷移モデルを結合させ、変数宣
言部や通信変数定義部を用いて状態遷移モデル間の結合
部分でデータを互いに通信可能となるように構成したの
で、機器の情報を状態として保持する必要はなく、イベ
ント発生時に複数のモデルの結合部分で行われるデータ
の送受信を含む状態遷移モデルを簡潔に表現できる効果
がある。
デルを使用される変数を定義する変数宣言部とシステム
を構成する機器やシステムの状態遷移を定義するモデル
定義部とで構成し、状態遷移モデル内のモデル定義部は
機器やシステムのイベントを定義するイベント部を有
し、イベント部はイベントの発火時に行う通信の対象と
なる変数を定義する通信変数定義部を有し、通信変数定
義部を有するイベントをもつ複数の状態遷移モデル間の
協調動作する部分で状態遷移モデルを結合させ、変数宣
言部や通信変数定義部を用いて状態遷移モデル間の結合
部分でデータを互いに通信可能となるように構成したの
で、機器の情報を状態として保持する必要はなく、イベ
ント発生時に複数のモデルの結合部分で行われるデータ
の送受信を含む状態遷移モデルを簡潔に表現できる効果
がある。
【００５０】請求項３記載の発明によれば、複数の状態
遷移モデル間の結合部分において、あるイベント部内の
通信変数定義部で定義した送信対象の変数の値を、他の
イベント部内の通信変数定義部で定義した受信対象の変
数で受け取り、データ通信を複数の状態遷移モデル間の
結合部分で実行するように構成したので、イベント発生
時に、複数のモデルの結合部分においてイベントの通信
変数定義部で定義した送信対象の変数の値を通信変数定
義部で定義した受信変数へ渡すことができ、相互のモデ
ル間で情報を互いに利用できる効果がある。
遷移モデル間の結合部分において、あるイベント部内の
通信変数定義部で定義した送信対象の変数の値を、他の
イベント部内の通信変数定義部で定義した受信対象の変
数で受け取り、データ通信を複数の状態遷移モデル間の
結合部分で実行するように構成したので、イベント発生
時に、複数のモデルの結合部分においてイベントの通信
変数定義部で定義した送信対象の変数の値を通信変数定
義部で定義した受信変数へ渡すことができ、相互のモデ
ル間で情報を互いに利用できる効果がある。
【００５１】請求項４記載の発明によれば、複数のイベ
ントに関する各イベント部内の通信変数定義部で送信対
象の変数および受信対象の変数を定義し、複数の状態遷
移モデル間のある１つの結合部分を介して、送信対象の
変数および受信対象の変数に関する複数のデータ通信
を、複数の状態遷移モデル間で実行するように構成した
ので、イベント発生時に、複数のモデルの結合部分にお
いてイベントの通信変数定義部で定義した送信対象の変
数から受信対象の変数へ同時に複数のデータを通信して
情報を互いに利用できる効果がある。
ントに関する各イベント部内の通信変数定義部で送信対
象の変数および受信対象の変数を定義し、複数の状態遷
移モデル間のある１つの結合部分を介して、送信対象の
変数および受信対象の変数に関する複数のデータ通信
を、複数の状態遷移モデル間で実行するように構成した
ので、イベント発生時に、複数のモデルの結合部分にお
いてイベントの通信変数定義部で定義した送信対象の変
数から受信対象の変数へ同時に複数のデータを通信して
情報を互いに利用できる効果がある。
【００５２】請求項５記載の発明によれば、複数の状態
遷移モデル間の結合部分において、あるイベント部内の
通信変数定義部で定義した送信対象の変数および受信対
象の変数の値と、他のイベント部内の通信変数定義部で
定義した受信対象の変数および送信対象の変数とを用い
て、双方向のデータ通信を複数の状態遷移モデル間の結
合部分で実行するように構成したので、モデル間で多く
の情報を一度に利用し合えるという効果がある。
遷移モデル間の結合部分において、あるイベント部内の
通信変数定義部で定義した送信対象の変数および受信対
象の変数の値と、他のイベント部内の通信変数定義部で
定義した受信対象の変数および送信対象の変数とを用い
て、双方向のデータ通信を複数の状態遷移モデル間の結
合部分で実行するように構成したので、モデル間で多く
の情報を一度に利用し合えるという効果がある。
【図１】 この発明の実施の形態１によるシステムモデ
ル化方式及びデータ通信方式を用いて得られたシステム
モデルを示す説明図であり、特に、モデル結合部分にお
けるモデル間でのデータ通信の例を示す説明図である。
ル化方式及びデータ通信方式を用いて得られたシステム
モデルを示す説明図であり、特に、モデル結合部分にお
けるモデル間でのデータ通信の例を示す説明図である。
【図２】 この発明の実施の形態１によるシステムモデ
ル化方式及びデータ通信方式で使用されるデータ取扱い
可能な状態遷移モデルを示す構造図である。
ル化方式及びデータ通信方式で使用されるデータ取扱い
可能な状態遷移モデルを示す構造図である。
【図３】 図２に示した状態遷移モデル内の変数宣言部
を示す構成図である。
を示す構成図である。
【図４】 図２に示した状態遷移モデル内の入力プレー
ス／出力プレースを示す構造図である。
ス／出力プレースを示す構造図である。
【図５】 図４に示した入力プレース／出力プレース内
の変数演算定義部の記述例を示す説明図である。
の変数演算定義部の記述例を示す説明図である。
【図６】 図２に示した状態遷移モデル内のイベントを
示す構造図である。
示す構造図である。
【図７】 図６に示したイベント内のイベント発火条件
式の例を示す説明図である。
式の例を示す説明図である。
【図８】 図６に示したイベント内の通信変数定義部を
示す構造図である。
示す構造図である。
【図９】 この発明のシステムモデル化方式及びデータ
通信方式を用いて得られた３つの機器からなるシステム
モデルを示す説明図である。
通信方式を用いて得られた３つの機器からなるシステム
モデルを示す説明図である。
【図１０】 この発明の実施の形態１によるシステムモ
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
【図１１】 この発明の実施の形態１によるシステムモ
デル化方式及びデータ通信方式を用いて得られた４つの
機器からなる他のシステムモデルを示す説明図である。
デル化方式及びデータ通信方式を用いて得られた４つの
機器からなる他のシステムモデルを示す説明図である。
【図１２】 この発明の実施の形態１によるシステムモ
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
【図１３】 この発明の実施の形態１によるシステムモ
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
デル化方式及びデータ通信方式を用いて得られた２つの
機器からなる他のシステムモデルを示す説明図である。
【図１４】 従来の状態遷移モデルとしてのペトリネッ
トを用いてモデル化されたシステムを示す説明図であ
る。
トを用いてモデル化されたシステムを示す説明図であ
る。
【図１５】 機器毎に得られるモデルを結合できる従来
の状態遷移モデルを示す説明図である。
の状態遷移モデルを示す説明図である。
【図１６】 ワークの種類を区別するためにワークの種
類毎にシーケンスを分岐しモデル化した複雑な従来のシ
ステムモデルを示す説明図である。
類毎にシーケンスを分岐しモデル化した複雑な従来のシ
ステムモデルを示す説明図である。
１ データ格納領域、２ 状態遷移モデル、３ 変数宣
言部、４ モデル定義部、５ イベント部、７ 通信変
数定義部。
言部、４ モデル定義部、５ イベント部、７ 通信変
数定義部。
Claims (5)
- 【請求項１】 モデル内で使用される変数を定義する変
数宣言部とシステムを構成する機器の状態遷移を定義す
るモデル定義部から構成される状態遷移モデルを用いて
前記機器の制御シーケンスを表現し、前記機器のモデル
を相互に結合させ、前記変数宣言部に記載された前記変
数に対応する値をデータ格納領域から得てシステム全体
の動作を制御するシステムモデルを生成することを特徴
とするシステムモデル化方式。 - 【請求項２】 状態遷移モデルは使用される変数を定義
する変数宣言部とシステムを構成する機器や前記システ
ムの状態遷移を定義するモデル定義部とから構成され、
前記モデル定義部は前記機器や前記システムのイベント
を定義するイベント部を有し、前記イベント部は前記イ
ベントの発火時に行う通信の対象となる変数を定義する
通信変数定義部を有し、前記通信変数定義部を有するイ
ベントをもつ複数の状態遷移モデル間の協調動作する結
合部分で、前記変数宣言部や前記通信変数定義部を用い
てデータを互いに通信することを特徴とするデータ通信
方式。 - 【請求項３】 複数の状態遷移モデル間の結合部分にお
いて、あるイベント部内の通信変数定義部で定義した送
信対象の変数の値を、他のイベント部内の通信変数定義
部で定義した受信対象の変数で受け取り、データ通信を
前記複数の状態遷移モデル間の結合部分で実行すること
を特徴とする請求項２記載のデータ通信方式。 - 【請求項４】 複数のイベントに関する各イベント部内
の通信変数定義部で送信対象の変数および受信対象の変
数を定義し、複数の状態遷移モデル間のある１つの状態
遷移モデル結合部分を介して、前記送信対象の前記変数
および前記受信対象の前記変数に関する複数のデータ通
信を、前記複数の状態遷移モデル間で実行することを特
徴とする請求項２記載のデータ通信方式。 - 【請求項５】 複数の状態遷移モデル間の結合部分にお
いて、あるイベント部内の通信変数定義部で定義した送
信対象の変数および受信対象の変数の値と、他のイベン
ト部内の通信変数定義部で定義した受信対象の変数およ
び送信対象の変数とを用いて、双方向のデータ通信を前
記複数の状態遷移モデル間の結合部分で実行することを
特徴とする請求項２記載のデータ通信方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9128991A JPH10320187A (ja) | 1997-05-19 | 1997-05-19 | システムモデル化方式及びデータ通信方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9128991A JPH10320187A (ja) | 1997-05-19 | 1997-05-19 | システムモデル化方式及びデータ通信方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH10320187A true JPH10320187A (ja) | 1998-12-04 |
Family
ID=14998431
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP9128991A Pending JPH10320187A (ja) | 1997-05-19 | 1997-05-19 | システムモデル化方式及びデータ通信方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH10320187A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006268332A (ja) * | 2005-03-23 | 2006-10-05 | Kyushu Institute Of Technology | 対話情報処理装置及び対話情報処理方法 |
| JP2007102707A (ja) * | 2005-10-07 | 2007-04-19 | Toshiba Corp | 状態管理方法及び携帯端末 |
| JP2007241435A (ja) * | 2006-03-06 | 2007-09-20 | Mitsubishi Electric Corp | モデル生成装置及びモデル生成用プログラム |
| JP2013176804A (ja) * | 2012-02-09 | 2013-09-09 | Nippon Steel & Sumitomo Metal Corp | 製造プロセスの離散モデルのアップデート支援方法、装置及びプログラム |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0475135A (ja) * | 1990-07-17 | 1992-03-10 | Sharp Corp | プログラム開発装置 |
| JPH04205423A (ja) * | 1990-11-30 | 1992-07-27 | Seiko Epson Corp | プログラム作成装置 |
| JPH0772920A (ja) * | 1993-09-03 | 1995-03-17 | Hitachi Ltd | Ｆａシステムの制御方法及び装置 |
-
1997
- 1997-05-19 JP JP9128991A patent/JPH10320187A/ja active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0475135A (ja) * | 1990-07-17 | 1992-03-10 | Sharp Corp | プログラム開発装置 |
| JPH04205423A (ja) * | 1990-11-30 | 1992-07-27 | Seiko Epson Corp | プログラム作成装置 |
| JPH0772920A (ja) * | 1993-09-03 | 1995-03-17 | Hitachi Ltd | Ｆａシステムの制御方法及び装置 |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006268332A (ja) * | 2005-03-23 | 2006-10-05 | Kyushu Institute Of Technology | 対話情報処理装置及び対話情報処理方法 |
| JP2007102707A (ja) * | 2005-10-07 | 2007-04-19 | Toshiba Corp | 状態管理方法及び携帯端末 |
| JP2007241435A (ja) * | 2006-03-06 | 2007-09-20 | Mitsubishi Electric Corp | モデル生成装置及びモデル生成用プログラム |
| JP2013176804A (ja) * | 2012-02-09 | 2013-09-09 | Nippon Steel & Sumitomo Metal Corp | 製造プロセスの離散モデルのアップデート支援方法、装置及びプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7024250B2 (en) | Method and apparatus for the synchronous control of manipulations | |
| JP2004185228A (ja) | 生産セル | |
| Teng et al. | Cellular manufacturing systems modeling: the Petri net approach | |
| JPH1078876A (ja) | 分散トランザクションのスケジューリング方法 | |
| Jiang et al. | Object-oriented Petri nets with changeable structure (OPNs-CS) for production system modelling | |
| Lewis et al. | Control system design for flexible manufacturing systems | |
| Sauer | Marking optimization of weighted marked graphs | |
| EP4155904B1 (en) | Graphical programming method, processor, and terminal | |
| Pawletta et al. | A devs-based approach for modeling and simulation of hybrid variable structure systems | |
| Li et al. | Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems | |
| Wang et al. | Modular modeling using Petri nets | |
| Jiang et al. | Automatic Modelling of One-of-a-Kind Production Systems by Temporised Object-Oriented Petri Nets with Changeable Structure (TOPNs–CS). | |
| Giua et al. | GRAFCET and Petri nets in manufacturing | |
| Jiang et al. | Stochastic object-oriented Petri nets (SOPNs) for reliability modeling of manufacturing systems | |
| Yalcin et al. | An architecture for flexible manufacturing cells with alternate machining and alternate sequencing | |
| EP3729348B1 (en) | System and method for generating a plant bill of process | |
| Basile et al. | Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks | |
| Tu et al. | Automatic Modelling of One-of-a-Kind Production Systems by Temporised Object-Oriented Petri Nets with Changeable Structure (TOPNs–CS) | |
| Yasuda et al. | A computer network based control architecture for autonomous distributed multirobot systems | |
| CN120461420A (zh) | 双机械臂的控制方法、控制装置、电子设备及存储介质 | |
| CN117008552A (zh) | 一种面向数字化车间管理系统与制造装备的动态重构方法 | |
| Chen | A Petri-net-based state-transition model for an optimal operator cyclic walking pattern development in GT cells | |
| JPH11212608A (ja) | 通信パラメータを含めたシステム構成の自動設定装置 | |
| da Silva Ribeiro et al. | Flexible manufacturing systems modelling using high level Petri Nets | |
| Jiang et al. | Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20050627 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20050712 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20050909 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20051025 |