JPH0528277A - 事象表示装置 - Google Patents
事象表示装置Info
- Publication number
- JPH0528277A JPH0528277A JP3207341A JP20734191A JPH0528277A JP H0528277 A JPH0528277 A JP H0528277A JP 3207341 A JP3207341 A JP 3207341A JP 20734191 A JP20734191 A JP 20734191A JP H0528277 A JPH0528277 A JP H0528277A
- Authority
- JP
- Japan
- Prior art keywords
- event
- place
- coordinate system
- dimensional coordinate
- transition
- 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.)
- Granted
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Digital Computer Display Output (AREA)
- Image Generation (AREA)
Abstract
(57)【要約】
【目的】 条件の成立による事象の生起を表現するペト
リネットグラフの基本的規則を保持しながら、システム
のモデル化などに際して事象の生起にかかる時間などの
特性を表現することができる事象表示装置を実現するこ
とを目的とする。 【構成】 グラフ化対象システムにおける事象間の相互
関係と該相互関係以外の特性とを離散表現する３次元座
標系を設定し、この３次元座標系においてプレースを該
事象間の相互関係に対応させながら入力すると共にトラ
ンジションを入出力プレース及び出力プレースへの視覚
成分により規定して入力することにより該プレースと該
トランジションとそれらの相互接続を示すアークとを該
３次元座標系によりペトリネットグラフ図形情報として
生成しその内の一つの平面図形を表示選択可能に構成す
る。
リネットグラフの基本的規則を保持しながら、システム
のモデル化などに際して事象の生起にかかる時間などの
特性を表現することができる事象表示装置を実現するこ
とを目的とする。 【構成】 グラフ化対象システムにおける事象間の相互
関係と該相互関係以外の特性とを離散表現する３次元座
標系を設定し、この３次元座標系においてプレースを該
事象間の相互関係に対応させながら入力すると共にトラ
ンジションを入出力プレース及び出力プレースへの視覚
成分により規定して入力することにより該プレースと該
トランジションとそれらの相互接続を示すアークとを該
３次元座標系によりペトリネットグラフ図形情報として
生成しその内の一つの平面図形を表示選択可能に構成す
る。
Description
【０００１】
【産業上の利用分野】本発明は、事象表示装置に関し、
特に条件の成立による事象の生起を表現するペトリネッ
トグラフの基本的性質を保持した事象表示装置に関する
ものである。
特に条件の成立による事象の生起を表現するペトリネッ
トグラフの基本的性質を保持した事象表示装置に関する
ものである。
【０００２】
【従来の技術】近年のＦＡの高度化やＣＩＭの構築にお
いて、対象となる生産システムのモデル化が重要な問題
となっている。生産システムは、例えば機械加工・組立
ライン、工場管理など離散事象の発生により状態が支配
され活動する事象駆動型のシステムとして取り扱うこと
が出来る。
いて、対象となる生産システムのモデル化が重要な問題
となっている。生産システムは、例えば機械加工・組立
ライン、工場管理など離散事象の発生により状態が支配
され活動する事象駆動型のシステムとして取り扱うこと
が出来る。
【０００３】従来より、このような生産ラインのモデル
化を行う場合、事象は活動を開始したり終了したりする
要素の順に発生するが、その時間と順序性を有する各事
象の表示装置として、ガントチャートやＰＥＲＴなどを
表示する装置が知られているが、これらは各事象間の相
互関係を表示することができないという欠点があるた
め、このような各事象間の相互関係を表示することがで
きるペトリネットグラフが代表的なものとして表示装置
に用いられている。
化を行う場合、事象は活動を開始したり終了したりする
要素の順に発生するが、その時間と順序性を有する各事
象の表示装置として、ガントチャートやＰＥＲＴなどを
表示する装置が知られているが、これらは各事象間の相
互関係を表示することができないという欠点があるた
め、このような各事象間の相互関係を表示することがで
きるペトリネットグラフが代表的なものとして表示装置
に用いられている。
【０００４】このようなペトリネットグラフが図７に示
されており、○で示されるノードを例えば事象が生起す
るための条件を表すプレースＰと呼び、また、棒で示さ
れるノードを例えば事象の生起を表すトランジションＴ
と呼んでおり、このプレースＰとトランジションＴとを
方向性を有するアークＡで結ぶことにより事象間の相互
関係が表される。
されており、○で示されるノードを例えば事象が生起す
るための条件を表すプレースＰと呼び、また、棒で示さ
れるノードを例えば事象の生起を表すトランジションＴ
と呼んでおり、このプレースＰとトランジションＴとを
方向性を有するアークＡで結ぶことにより事象間の相互
関係が表される。
【０００５】そして、プレースＰに黒丸で示すトークン
ｔｋが入ることでそのプレースＰが表す条件が整ったこ
とを示し、トランジションＴへの入力アークＡ数とその
アークＡの発生元であるプレースＰ内にあるトークンｔ
ｋの数が対応したときに事象の生起（トランジションの
発火）が起こり、結果としてプレースＰからアーク数に
等しい数のトークンｔｋが消え、トランジションＴから
の出力アークの行き先のプレースＰにアーク数に対応し
たトークンｔｋが入ることを繰り返すことにより事象の
相互関係が表されるようになっている。
ｔｋが入ることでそのプレースＰが表す条件が整ったこ
とを示し、トランジションＴへの入力アークＡ数とその
アークＡの発生元であるプレースＰ内にあるトークンｔ
ｋの数が対応したときに事象の生起（トランジションの
発火）が起こり、結果としてプレースＰからアーク数に
等しい数のトークンｔｋが消え、トランジションＴから
の出力アークの行き先のプレースＰにアーク数に対応し
たトークンｔｋが入ることを繰り返すことにより事象の
相互関係が表されるようになっている。
【０００６】このときの基本規則として、トランジショ
ンの発火は、条件が成立すると瞬間的に起こり、次の出
力プレースへもトークンが瞬間的に入ることとされてい
る。
ンの発火は、条件が成立すると瞬間的に起こり、次の出
力プレースへもトークンが瞬間的に入ることとされてい
る。
【０００７】
【発明が解決しようとする課題】このようにペトリネッ
トグラフによる表現の利点は、その高い記述能力による
システムの挙動の視覚的・構造的表現、階層的表現及び
優れた解析性を有する点にあるが、このようなペトリネ
ットグラフは上記のように事象間の相互関係は表現でき
るものの、上記のような基本規則に従い、これら相互関
係以外の特性である例えば時間の長さを視覚的に表現す
ることはできないという問題がある。
トグラフによる表現の利点は、その高い記述能力による
システムの挙動の視覚的・構造的表現、階層的表現及び
優れた解析性を有する点にあるが、このようなペトリネ
ットグラフは上記のように事象間の相互関係は表現でき
るものの、上記のような基本規則に従い、これら相互関
係以外の特性である例えば時間の長さを視覚的に表現す
ることはできないという問題がある。
【０００８】時間の経過を考慮する場合の表現として
は、時間ペトリネットが用いられており、トランジショ
ンの発火毎に段階的に時間を進めているが、この場合の
発火の所用時間はトランジション又はプレース内に内包
されており、視覚的にそれを確認することができず、こ
の時間ペトリネットを導入すると、モデル化の対象がグ
ラフィック表現により視覚的に捉え易いというペトリネ
ットグラフによるモデル化の最大の利点が生かされない
という問題点があった。
は、時間ペトリネットが用いられており、トランジショ
ンの発火毎に段階的に時間を進めているが、この場合の
発火の所用時間はトランジション又はプレース内に内包
されており、視覚的にそれを確認することができず、こ
の時間ペトリネットを導入すると、モデル化の対象がグ
ラフィック表現により視覚的に捉え易いというペトリネ
ットグラフによるモデル化の最大の利点が生かされない
という問題点があった。
【０００９】従って、本発明は、ペトリネットグラフの
基本規則を保持しながら、システムのモデル化などに際
して事象の生起にかかる時間などの特性を表現すること
ができる事象表示装置を実現することを目的とする。
基本規則を保持しながら、システムのモデル化などに際
して事象の生起にかかる時間などの特性を表現すること
ができる事象表示装置を実現することを目的とする。
【００１０】
【課題を解決するための手段】図１は、上記の目的を達
成するための本発明に係る事象表示装置の構成を原理的
に示したもので、グラフ化対象システムにおける事象間
の相互関係と該相互関係以外の特性とを離散表現する３
次元座標系を設定する手段１０と、該３次元座標系にお
いて該事象の生起の条件を示すプレースを、該事象間の
相互関係に対応させながら入力する手段２０と、該３次
元座標系において該事象の生起を示すトランジション
を、入出力プレース及び出力プレースへの視覚成分によ
り規定して入力する手段３０と、該プレースと該トラン
ジションとそれらの相互接続を示すアークとを該３次元
座標系によりペトリネットグラフ図形情報として生成し
その内の一つの平面図形を選択可能にする演算手段４０
と、該一つの平面図形を表示する手段５０と、を備えて
いる。
成するための本発明に係る事象表示装置の構成を原理的
に示したもので、グラフ化対象システムにおける事象間
の相互関係と該相互関係以外の特性とを離散表現する３
次元座標系を設定する手段１０と、該３次元座標系にお
いて該事象の生起の条件を示すプレースを、該事象間の
相互関係に対応させながら入力する手段２０と、該３次
元座標系において該事象の生起を示すトランジション
を、入出力プレース及び出力プレースへの視覚成分によ
り規定して入力する手段３０と、該プレースと該トラン
ジションとそれらの相互接続を示すアークとを該３次元
座標系によりペトリネットグラフ図形情報として生成し
その内の一つの平面図形を選択可能にする演算手段４０
と、該一つの平面図形を表示する手段５０と、を備えて
いる。
【００１１】尚、本発明では、該プレースが該事象の生
起を示し、該トランジションが該事象の生起の条件を示
していてもよい。
起を示し、該トランジションが該事象の生起の条件を示
していてもよい。
【００１２】
【作用】本発明においては、まず、３次元座標系設定手
段１０が、グラフ化対象システムにおける事象間の相互
関係（図２に示すＸ−Ｙ座標）とこの相互関係以外の特
性（図２に示すＺ座標を形成する例えば時間）とを３次
元座標系のＸ−Ｙ−Ｚの各軸上に離散表現により設定す
る。
段１０が、グラフ化対象システムにおける事象間の相互
関係（図２に示すＸ−Ｙ座標）とこの相互関係以外の特
性（図２に示すＺ座標を形成する例えば時間）とを３次
元座標系のＸ−Ｙ−Ｚの各軸上に離散表現により設定す
る。
【００１３】このように設定された３次元座標系におい
て、次にプレース・データ入力手段２０は、事象の生起
の条件（又は事象の生起）を示すプレースを、上記のよ
うな事象間の相互関係に対応させて分類させながら図２
に示すようなＸＹ面に入力する。
て、次にプレース・データ入力手段２０は、事象の生起
の条件（又は事象の生起）を示すプレースを、上記のよ
うな事象間の相互関係に対応させて分類させながら図２
に示すようなＸＹ面に入力する。
【００１４】更に、トランジション・データ入力手段３
０は、３次元座標系において、該事象の生起（又は事象
の生起の条件）を示すトランジションを、直結する入力
プレース及び出力プレースにより相互関係を規定すると
共に出力プレースへの視覚成分（時間の場合には到達時
間）を入力する。
０は、３次元座標系において、該事象の生起（又は事象
の生起の条件）を示すトランジションを、直結する入力
プレース及び出力プレースにより相互関係を規定すると
共に出力プレースへの視覚成分（時間の場合には到達時
間）を入力する。
【００１５】そして、演算手段４０は、上記のように規
定したプレースとトランジションとこれらプレース−ト
ランジションの相互接続を示すアークとを該３次元座標
系によりペトリネットグラフ図形情報として生成すると
共にその内の一つの平面図形を選択可能にしておく。
定したプレースとトランジションとこれらプレース−ト
ランジションの相互接続を示すアークとを該３次元座標
系によりペトリネットグラフ図形情報として生成すると
共にその内の一つの平面図形を選択可能にしておく。
【００１６】このようにして、演算手段４０において選
択された一つの平面図形は、表示手段５０において表示
されることとなる。
択された一つの平面図形は、表示手段５０において表示
されることとなる。
【００１７】従って、図３で言えば、ＸＹ平面に投影し
た図形は従来通りのペトリネットグラフであり、ＹＺ平
面に投影すれば図４に示したような時間を視覚化したペ
トリネットグラフとなる。
た図形は従来通りのペトリネットグラフであり、ＹＺ平
面に投影すれば図４に示したような時間を視覚化したペ
トリネットグラフとなる。
【００１８】即ち、上記のようにトランジションＴの発
火は、ペトリネットグラフの規則に従って瞬間的に起こ
るので、図４の例では、トランジションＴへの入力アー
クＡはＺ軸に垂直な時間ゼロとして記述されており、事
象の生起に基づく時間の推移の表現はトランジションＴ
からの出力アークＡにおいて始点がトランジションＴ、
終点を入力プレースＰの中心点までのＺ軸方向成分とし
て記述され、相互関係以外の特性の視覚成分の表現が実
現されることとなる。
火は、ペトリネットグラフの規則に従って瞬間的に起こ
るので、図４の例では、トランジションＴへの入力アー
クＡはＺ軸に垂直な時間ゼロとして記述されており、事
象の生起に基づく時間の推移の表現はトランジションＴ
からの出力アークＡにおいて始点がトランジションＴ、
終点を入力プレースＰの中心点までのＺ軸方向成分とし
て記述され、相互関係以外の特性の視覚成分の表現が実
現されることとなる。
【００１９】
【実施例】図５は、図１に示した事象表示装置の一実施
例を示したもので、１はキーボード、２はタブレット、
３はディスプレイ装置、４はＣＰＵを示し、この実施例
では、図１の３次元座標系設定手段１０とプレース・デ
ータ入力手段２０とトランジション・データ入力手段３
０がキーボード１及びタブレット２に相当しており、演
算手段４０がＣＰＵ４に相当し、そして表示手段５０が
ディスプレイ装置３に相当している。
例を示したもので、１はキーボード、２はタブレット、
３はディスプレイ装置、４はＣＰＵを示し、この実施例
では、図１の３次元座標系設定手段１０とプレース・デ
ータ入力手段２０とトランジション・データ入力手段３
０がキーボード１及びタブレット２に相当しており、演
算手段４０がＣＰＵ４に相当し、そして表示手段５０が
ディスプレイ装置３に相当している。
【００２０】図６は、図５に示した事象表示装置のＣＰ
Ｕ４により実行されるプログラムのフローチャートを示
したもので、以下、このフローチャートと図２乃至図４
のグラフ図を参照して実施例の動作を説明する。
Ｕ４により実行されるプログラムのフローチャートを示
したもので、以下、このフローチャートと図２乃至図４
のグラフ図を参照して実施例の動作を説明する。
【００２１】ステップＳ１：グラフ化対象の３次元座標
系の設定をキーボード１又はタブレット２により行う。
この場合、事象間の相互関係として例えば図２に示すよ
うに、Ｘ軸方向を事象の生起の順序を離散的な整数値と
して、１，２，３，・・・，ｍと設定し、Ｙ軸を事象の
系列を表現するとして同様に離散的な整数値として、
１，２，３，・・・，ｎと設定する。また、このような
事象間の相互関係以外の特性としてＺ軸では時間を視覚
表現するものとして単位時間（タイムスロット）で分割
して設定する。尚、この場合のトランジションの位置は
Ｘ，Ｙ座標のそれぞれの中点である1.5, 2.5, 3.5,・・
・というように与えられることとなる。
系の設定をキーボード１又はタブレット２により行う。
この場合、事象間の相互関係として例えば図２に示すよ
うに、Ｘ軸方向を事象の生起の順序を離散的な整数値と
して、１，２，３，・・・，ｍと設定し、Ｙ軸を事象の
系列を表現するとして同様に離散的な整数値として、
１，２，３，・・・，ｎと設定する。また、このような
事象間の相互関係以外の特性としてＺ軸では時間を視覚
表現するものとして単位時間（タイムスロット）で分割
して設定する。尚、この場合のトランジションの位置は
Ｘ，Ｙ座標のそれぞれの中点である1.5, 2.5, 3.5,・・
・というように与えられることとなる。
【００２２】ステップＳ２： 次に、事象の生起の条件
を示すプレースの順序（Ｘ軸）及び系列（Ｙ軸）へのデ
ータを入力すると共に各プレースに番号を付ける（図３
のＸＹ平面参照）。 即ち、プレースＰ１は、順序（Ｘ）＝１、系列（Ｙ）＝４ ：Ｐ１XY プレースＰ２は、順序（Ｘ）＝１、系列（Ｙ）＝３ ：Ｐ２XY プレースＰ３は、順序（Ｘ）＝１、系列（Ｙ）＝１ ：Ｐ３XY プレースＰ４は、順序（Ｘ）＝３、系列（Ｙ）＝２ ：Ｐ４XY
を示すプレースの順序（Ｘ軸）及び系列（Ｙ軸）へのデ
ータを入力すると共に各プレースに番号を付ける（図３
のＸＹ平面参照）。 即ち、プレースＰ１は、順序（Ｘ）＝１、系列（Ｙ）＝４ ：Ｐ１XY プレースＰ２は、順序（Ｘ）＝１、系列（Ｙ）＝３ ：Ｐ２XY プレースＰ３は、順序（Ｘ）＝１、系列（Ｙ）＝１ ：Ｐ３XY プレースＰ４は、順序（Ｘ）＝３、系列（Ｙ）＝２ ：Ｐ４XY
【００２３】ステップＳ３： 対象となるモデルの全て
のプレースのデータ入力が終了したか否かを判断する。
のプレースのデータ入力が終了したか否かを判断する。
【００２４】ステップＳ４： 事象の生起を示すトラン
ジションの初期位置の順序（Ｘ軸）及び系列（Ｙ軸）へ
のデータを入力すると共に各トランジションに番号を付
ける（図３のＸＹ平面参照）と共に各トランジションへ
の入出力プレースの番号を入力し且つ出力プレースへの
到達時間データを入力する（図３のＹＺ平面及び図４参
照）。 即ち、トランジションＴ１は、入力プレースがＰ１及び
Ｐ２（同時刻） 出力プレースがＰ４ 到達時間２タイムスロット トランジションＴ２は、入力プレースがＰ３ 出力プレースがＰ４ 到達時間１タイムスロット
ジションの初期位置の順序（Ｘ軸）及び系列（Ｙ軸）へ
のデータを入力すると共に各トランジションに番号を付
ける（図３のＸＹ平面参照）と共に各トランジションへ
の入出力プレースの番号を入力し且つ出力プレースへの
到達時間データを入力する（図３のＹＺ平面及び図４参
照）。 即ち、トランジションＴ１は、入力プレースがＰ１及び
Ｐ２（同時刻） 出力プレースがＰ４ 到達時間２タイムスロット トランジションＴ２は、入力プレースがＰ３ 出力プレースがＰ４ 到達時間１タイムスロット
【００２５】ステップＳ５： 対象となるモデルの全て
の事象の生起のデータ入力が終了したか否かを判断す
る。
の事象の生起のデータ入力が終了したか否かを判断す
る。
【００２６】ステップＳ６： 上記のように入力された
データを基にして３次元ペトリネットグラフを表示する
ためのプレース・トランジション・アークの位置座標計
算及び形状定義を行い、３次元座標系に図形を形成する
（図３のＹＺ平面及び図４参照）例えば、トランジショ
ンＴ１は、順序１と３との間の0.5 の位置(1.5又は2.5)
で系列３と４の間の0.5 の位置(3.5) で、時間位置は、
Ｐ１，Ｐ２と同位置に形状が形成される。また、プレー
スＰ４は、トランジションＴ１から時間２タイムスロッ
ト分経過した位置に形状が形成される。
データを基にして３次元ペトリネットグラフを表示する
ためのプレース・トランジション・アークの位置座標計
算及び形状定義を行い、３次元座標系に図形を形成する
（図３のＹＺ平面及び図４参照）例えば、トランジショ
ンＴ１は、順序１と３との間の0.5 の位置(1.5又は2.5)
で系列３と４の間の0.5 の位置(3.5) で、時間位置は、
Ｐ１，Ｐ２と同位置に形状が形成される。また、プレー
スＰ４は、トランジションＴ１から時間２タイムスロッ
ト分経過した位置に形状が形成される。
【００２７】ステップＳ７： このようにして形成され
た３次元ペトリネットグラフの投影面ＸＹ，ＹＺ，ＸＺ
のいずれかを選択する。
た３次元ペトリネットグラフの投影面ＸＹ，ＹＺ，ＸＺ
のいずれかを選択する。
【００２８】ステップＳ８： 投影面ＸＹが選択された
とき、形成された３次元ペトリネットグラフをＸＹ平面
（Ｚ＝ｚ）に投影した図形データを形成する。
とき、形成された３次元ペトリネットグラフをＸＹ平面
（Ｚ＝ｚ）に投影した図形データを形成する。
【００２９】ステップＳ９： 投影面ＹＺが選択された
とき、形成された３次元ペトリネットグラフをＹＺ平面
（Ｘ＝ｘ）に投影した図形データを形成する。
とき、形成された３次元ペトリネットグラフをＹＺ平面
（Ｘ＝ｘ）に投影した図形データを形成する。
【００３０】ステップＳ１０： 投影面ＸＺが選択され
たとき、形成された３次元ペトリネットグラフをＸＺ平
面（Ｙ＝ｙ）に投影した図形データを形成する。
たとき、形成された３次元ペトリネットグラフをＸＺ平
面（Ｙ＝ｙ）に投影した図形データを形成する。
【００３１】ステップＳ１１： 投影面選択が終了した
か否かを判定し、終了していないときには別の投影面を
作成するためステップＳ７に戻る。
か否かを判定し、終了していないときには別の投影面を
作成するためステップＳ７に戻る。
【００３２】尚、上記の実施例では、事象間の相互関係
を示すものとして事象の生起の順序と系列を用いたが、
これに限定されるものではない。また其以外の特性を示
すものとして時間を用いたが、特に時間に限定する必要
は無く、モデル対象システムの制約された資源量など有
限な領域の設定にも適用できる。
を示すものとして事象の生起の順序と系列を用いたが、
これに限定されるものではない。また其以外の特性を示
すものとして時間を用いたが、特に時間に限定する必要
は無く、モデル対象システムの制約された資源量など有
限な領域の設定にも適用できる。
【００３３】
【発明の効果】以上のように本発明に係る事象表示装置
では、グラフ化対象システムにおける事象間の相互関係
と該相互関係以外の特性とを離散表現する３次元座標系
を設定し、この３次元座標系においてプレースを該事象
間の相互関係に対応させながら入力すると共にトランジ
ションを入出力プレース及び出力プレースへの視覚成分
により規定して入力することにより該プレースと該トラ
ンジションとそれらの相互接続を示すアークとを該３次
元座標系によりペトリネットグラフ図形情報として生成
しその内の一つの平面図形を表示選択可能に構成したの
で、事象間の相互関係以外の例えば時間特性などをペト
リネットグラフ表現することができ、従来のペトリネッ
トグラフの表現をＸＹ平面に維持したまま他の平面への
投影で異なる視点でのモデル評価が可能になる。
では、グラフ化対象システムにおける事象間の相互関係
と該相互関係以外の特性とを離散表現する３次元座標系
を設定し、この３次元座標系においてプレースを該事象
間の相互関係に対応させながら入力すると共にトランジ
ションを入出力プレース及び出力プレースへの視覚成分
により規定して入力することにより該プレースと該トラ
ンジションとそれらの相互接続を示すアークとを該３次
元座標系によりペトリネットグラフ図形情報として生成
しその内の一つの平面図形を表示選択可能に構成したの
で、事象間の相互関係以外の例えば時間特性などをペト
リネットグラフ表現することができ、従来のペトリネッ
トグラフの表現をＸＹ平面に維持したまま他の平面への
投影で異なる視点でのモデル評価が可能になる。
【図１】本発明に係る事象表示装置の原理構成を示すブ
ロック図である。
ロック図である。
【図２】本発明に係る事象表示装置で設定される３次元
座標系を示した図である。
座標系を示した図である。
【図３】本発明に用いる３次元ペトリネットグラフを示
した図である。
した図である。
【図４】本発明により得られる事象の系列と時間との関
係を示したペトリネットグラフ図である。
係を示したペトリネットグラフ図である。
【図５】本発明に係る事象表示装置の一実施例を示した
ハードウェア構成図である。
ハードウェア構成図である。
【図６】本発明の実施例の動作を説明するためのフロー
チャート図である。
チャート図である。
【図７】従来のペトリネットグラフを示す図である。
１０ ３次元座標系設定手段
２０ プレース・データ入力手段
３０ トランジション・データ入力手段
４０ 演算手段
５０ 表示手段
図中、同一符号は同一又は相当部分を示す。
─────────────────────────────────────────────────────
フロントページの続き
(72)発明者 関口 隆
神奈川県横浜市保土ケ谷区常盤台156 横
浜国立大学工学部電子情報工学科内
(72)発明者 丁 国駿
神奈川県横浜市保土ケ谷区常盤台156 横
浜国立大学工学部電子情報工学科内
Claims (2)
- 【請求項１】 グラフ化対象システムにおける事象間の
相互関係と該相互関係以外の特性とを離散表現する３次
元座標系を設定する手段(10)と、 該３次元座標系において該事象の生起の条件を示すプレ
ースを、該事象間の相互関係に対応させながら入力する
手段(20)と、 該３次元座標系において該事象の生起を示すトランジシ
ョンを、入出力プレース及び出力プレースへの視覚成分
により規定して入力する手段(30)と、 該プレースと該トランジションとそれらの相互接続を示
すアークとを該３次元座標系によりペトリネットグラフ
図形情報として生成しその内の一つの平面図形を選択可
能にする演算手段(40)と、 該一つの平面図形を表示する手段(50)と、 を備えたことを特徴とする事象表示装置。 - 【請求項２】 該プレースが該事象の生起を示し、該ト
ランジションが該事象の生起の条件を示していることを
特徴とした請求項１に記載の事象表示装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP20734191A JP2957030B2 (ja) | 1991-07-24 | 1991-07-24 | 事象表示装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP20734191A JP2957030B2 (ja) | 1991-07-24 | 1991-07-24 | 事象表示装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0528277A true JPH0528277A (ja) | 1993-02-05 |
| JP2957030B2 JP2957030B2 (ja) | 1999-10-04 |
Family
ID=16538141
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP20734191A Expired - Fee Related JP2957030B2 (ja) | 1991-07-24 | 1991-07-24 | 事象表示装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2957030B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH1011483A (ja) * | 1996-06-20 | 1998-01-16 | Furukawa Electric Co Ltd:The | 配線エリアの簡易表示方法 |
-
1991
- 1991-07-24 JP JP20734191A patent/JP2957030B2/ja not_active Expired - Fee Related
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH1011483A (ja) * | 1996-06-20 | 1998-01-16 | Furukawa Electric Co Ltd:The | 配線エリアの簡易表示方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2957030B2 (ja) | 1999-10-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Stump et al. | The ARL trade space visualizer: An engineering decision-making tool | |
| CA1221767A (en) | Structural graphics representation system with depiction of structure of building or the like | |
| JPH0673137B2 (ja) | 概念設計ツールとｃａｄ／ｃａｍ環境間に部品表のインターフエイスを与える方法 | |
| WO2002091300A2 (en) | Text overlay for multi-dimensional construction project models | |
| Sarjoughian et al. | Superdense time trajectories for DEVS simulation models. | |
| JP3556969B2 (ja) | 投影図作成方法 | |
| JPH0528277A (ja) | 事象表示装置 | |
| JP2006120164A (ja) | 板金部品フィーチャ・オペレーションによって生成される３ｄ板金部品モデルの生成装置 | |
| Júlvez et al. | MATLAB tools for the analysis of Petri net models | |
| JPH0896166A (ja) | 図面候補線分抽出装置、図面候補線分抽出方法、ソリッド・モデル合成装置及びソリッド・モデル合成方法 | |
| US6486878B1 (en) | Method for detecting incorrectly oriented lofted solids in a solid modeling system | |
| US8654145B2 (en) | Binding using rollback | |
| JP4489468B2 (ja) | プリント基板の設計装置におけるクリアランス距離測定方法、プリント基板の設計装置におけるクリアランス距離測定装置、プログラムおよびコンピューター読み取り可能な記録媒体 | |
| JP3039387B2 (ja) | ３次元ｃａｄにおけるｂ−スプライン曲線と直線との交点算出装置 | |
| JP2537949B2 (ja) | ネットワ―ク表示処理方式 | |
| CN120745046A (zh) | 一种通过图形化设计系统模型时间行为的方法 | |
| JPH0623990B2 (ja) | 立体容器の設計装置 | |
| JPS60163162A (ja) | ３次元連接体の形状定義方法 | |
| JP3661224B2 (ja) | スケール図形表示制御装置 | |
| Remotigue et al. | The national grid project: making dreams into reality | |
| JP2910661B2 (ja) | 回路分割評価方式 | |
| Rezai et al. | Hybrid modeling and simulation of manufacturing systems | |
| JP2848628B2 (ja) | 固体形状のブロック分割方式 | |
| JPH0212309A (ja) | Ｃａｄ／ｃａｍ装置 | |
| JPH0566607B2 (ja) |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19990706 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| LAPS | Cancellation because of no payment of annual fees |