JPS59163645A - 機能シミユレ−シヨン方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔発明のオリ用分野〕 不究明はシステムの機能シミュレーション方法に保シ、
舟に被数の処理が非１司期に動作するシステムの人力デ
ータから出力データへの変侠機能のシミュレーションを
行なうに好適な機能シミュレーション方法に関する。

〔発明の背景〕

複数の処理が非同期に動作するシステム（以下並行製作
システムと叶ぶ）の機Ｎヒラシミュレーションする方法
として、歪性動作システムをペトリ不ソトモテル金用い
てｐＸ機で機能シミュレーションを行なう方法がある。

ベトリネントモチルそのものについて述べている文献は
いろいろろる（例えば雑誌１ｂｉｔＪｖｏｌ。

１０、扁１０１）、１１５１〜１１５２．１９７８）詳
細説明はその文献の記述にゆするが、ベトリネントモチ
ルは２つの型の頂点をもつ有効グラフである。２つの型
とは、事象もしくは推移（垂直の線で表わす）、乗件も
しくは場所（内で衣わす）でるる。

事象はその人力栄汗のすべてが満たされる（付点でかす
）ときに”ｉｆ舵にされた°″という。ネットワークに
よって表わされる動作特性は（１つの可能状悪の事象の
選択を規にする）選択規則によって導き出される。そし
て選択された事象が発せられる。

ペトリ坏ットモデルによる運行動作システムのシミュレ
ーションのガを第１図に示す。第１図に２いて、′ｌ′
は人出力データを表現するトークン、ｐ１〜ｐ５はトー
クンが侍慎する場所を示すプレース、ｔ１〜ｔ５はｌ″
ｌ）メるいは複数のトークンを入力し複数のトークンを
出力するトラクションでめ９、谷グレースとトラクショ
ンの粕ひつきをテヤイ・ルでボしてりる。こ扛は、トラ
ジション全処理と対応つけることにより、トークンがト
ラシゾヨン勿通過することは、１−夕が処理されデータ
が出力されるということを表わす。第１図においては、
プレースＩ）ＩＫりるトークンは、トラジションｔｌ勿
辿ることによりｐ２及びｐ３へ移動し、ｐ２へ移動した
トークンはｐ４へ、ｐ３へ移動したトークンはｐ５へ’
ｌｌ＋Ｍする。このことは、トラクションｔ１に対応づ
けられた処理鹸了恢、トラクションｔ２．ｔ３に対応つ
けられた処理が並行しておこなわれることを意味する。

このモテルを計其慎内に俗信し、トークンのプレース上
での移！ｔＪ状況をトレースし、外部の印刷機に出力し
、たり、Ｃ１尤Ｔなどの匝囲六が装置にトーク／の＝動
金ｓ示することによｐシミュレーションを行なう。

しかしながらペトリイ・ントモデルに丞つく、このよう
な動作シミュレーション方法には次の２つの問題点があ
る。

（１）　　ｍ＊Ｉ：は、一般に入力データから出力デー
タへのＫＮ与塚として把えらｎるが、トークンは、デー
タのｗｊＪさはボされているもの＼、どの僚な入カデー
タが、どの様な出力データへ変換されているのかが表わ
せない。このため機能をシミュレートする上で重要でる
るデータの変換過程を本方式では理解することができな
い。

（２）第１図のプレースｐ４の様に、１つのプレースか
ら複数のチャネルによ＃）複数のトラクションに粘びつ
けられている場合（プレースｐ４は、トラクションｔ４
．ｔ５と粕びつけられている。）プレース上にあるトー
クンはどのトラクションを通過すべき刀・が明らかでな
く、誤まったシミュレーションを行なう可能性がある。

〔発明の目的〕

本発明の目的は、前述の欠点を解次し、システムの機能
を敢密にシミュレーションを行なう・ことができるシミ
ュレーション方法を提供することにある。

〔発明の概要〕

本発明は機能の果合として表現されたシステム會ヘトリ
ネントモチルを用いてシミュレーションを２こなう方法
でめって、仮シミュレーションシステムのシステム構成
全システム構成テーブルに設定するとともに区／ステム
のデータ構造をデータ構造テーブルに設定し、該データ
を表わすトークンヲトークン設定プログラム部に設定し
、入出力装置からの指示によりあらかじめ設定ａれてい
る情報入出カプログラムにしたがって７ミユレーシヨン
システムプログラムを起動し、該システム構成テーブル
およびデータ構造テーブルのデータにもとづいて機能シ
ミュレーションを実行し、該シミュレーションｔｉ来を
入出力装置に表示せしめることに特徴がある。

〔発明の実施例〕

本先明の実施例を示す構成図を第２図に示す。

システム構成テーブル２１及びデータ構造テーブル２２
は、記憶装置２０上にあり、シミュレーション対象シス
テムについての情報が記憶されている。トークン設定プ
ログラム２３は、入出力装置２６よシ設定されたシミュ
レーション開始場所を耽み込み、シミュレーションシス
テム２４に知らせる。１０は計Ｓ愼で必る。

情’Ａ）ＪＪ　７’ロクラム２５は、シミュレーション
システム２４が必要となった情報を入出力装置２６へ表
示しまた場合に則装置よシ必袂な情報を入力しシミュレ
ーションシステム２４に知らせる。

７ミユレーシヨンシステム２４は、　　トークン設定ノ
ログラム２３によυシミュレーションヲ開始する場ノブ
［を知らされたら、システム構成テーブル２１とチータ
イ、４造テーフ゛ル２２に６己憶されている７スデムの
シミュレーションを行ない入出力装置２６にその過程を
衣がする〇 次に第２図の匝々の構成賛素について説明する。

／スナム構成テーブル２１の構成を第３図にボす。

プレース名記憶域（ｉ’Ｍ１〜ＰＭｎ）はトークンが侍
愼する楊１９Ｔ　ｋ　識別する識別名（以降プレース名
と呼ぶ）が記憶されている場所。ここで、ｎはシミュレ
ーションメ・Ｊ象システムを表現する上で必要となるプ
レース名の１回数でめる。

アータ構這名記憶城（ＩＪＳＭＩ〜ＤＳＭ口）はプレー
ス名と対応し、賊プレースに待機するトークンが保持し
なければならないデータ構造名が記憶されている句Ｊ９
丁。ここで、ｎは上記と同じ意味である。

１・−クンの存在フラグ記憶域（ＴＦ’ＭＩ〜ＴＦＭｎ
）はプレース名と対応し、該プレースにトークンが存在
する〃ユしないかを示すフラグ（以呻トークンの仔仕フ
ラグと呼ぶ）が記憶さｒしている場所でら９、トークン
が４−１−征している場合は”１”のフラグが、トーク
ンが存在していない場合は０”のフラグがｂ己１ｉされ
ている。ここで、ｎｌよ上ｎ己と１町じ意味である。

ヒフ２フ３フ名記憶域（ＴＭＩ〜ＴＭΩ１）はトラクシ
ョンを識別する識別名（以降トラジション名と呼ぶ）が
ｈ己遵されている場所。ここで、ｍはシミュレーション
対象システムを表現フる上テ必資となるトラジション名
の個数でわる。

プレースとトラクションの閑係記１意域（Ｐ　’ｌ’　
Ｍ（１，１）　〜ＰＴＭ（ｍ、ｎ　））はプレース名と
トラジション名に対応しており、プレース名とトラジシ
ョン名の闇の関係（以降プレースとトラクションの関係
と呼ぶ）がどの＠なものであるかをだすフラグが記憶さ
れている揚Ｑｉであシ、プレース名のプレースからトラ
ジション名のトラジションヘトークンが移動できる関係
がある場合”１”のフラグが、トンジション名のトラク
ションからプレース名のプレースへトークンが移動でき
る関係かりる場合”　−１’″のフラグが、トークン化
のトークンとトラジション名のトラクションの間に何も
関係がない場合は°゛０”のフラグが記憶されている。

ここでｎ　、　Ｉｌｌとも上記と同じ意味である。

トークンの移動末件記憶域（ＴＴＭ（ｌ、ｔ）〜ＴＴＭ
（口、ｍ））ｔ−ｔプレースとトラクションの関係と対
応し、プレースが複数の移動先トラクションとつながっ
ている場合のトークンが、どのｌ・フジジョンへ移動す
るかを示す条件（以降トークン移動条件と呼ぶ）が記憶
されている場所である。ここでｎ、ｍとも上記と同じ意
味である。

データ構造テーブル２２の構成を第４図に示す。

データ構造名記ｔｉｔ城（Ｌ）ＳＥＸ〜ＤＳＥＩ）はト
ークンが持つデータ構這名が記憶されている場所。

ここで、ｌはシミュレーション対象システムを表現する
上で心安となるデータ構造名の個数でおる（第６図（ｂ
ンの汐りでは！−９）。

関係記憶域（ＩＪＲＭＩ〜ＤＲＭｉ）はデータ構造名ど
おしがどの様な関係にあるかを示す関係が記憶さｎてい
る場所。ここで、ｌはシミュレーション対象／ステムを
表現するデータ構造を作成する上で必要となる関係の個
数である（第６図（ｂ）では工＝９）。

下位データ構造名記儒域（Ｌ）ＵＥｌ、０〜ＩＪＵＥｉ
、ｋ）はデータ稗造名記憶域に対応し１おり、データ構
造名記憶内に記憶されているデータ得造名が持つ下位の
データ構泣名が記憶されている場所。ここで、ｋはデー
タ横這名が待つ下位データ傳遺名の穂数である。たソし
こ＼でＤＵＥｌ、　０・・・・・・ＤＵＥｉ、Ｏは下位
のデータ構造をもっていない場合を示している（第６図
（ｂ）では１）８２，１Ｊ８３゜ＤＢ５がこｎに当る）
。したがって第４図ＤＳＥ！についていうと下位のデー
タ構造名の８４　ａｌｌはｄｌｔＷ、ＤＳＥ　ｉについ
てはに１１．Ｗもっていることになる。

第６図（ｂ）については箱間、ＤＳ　ｌ＝２　（ＤＳ　
１１　。

ＤＢ　１２）、ＤＳ２＝ＤＳ３＝ＤＳ５＝０．ＤＳ４＝
２　（ＤＳ４１．ＤＳ４２　）でめる。

シミュレーションシステム２１；ｔ、Ａ〜図Ｋ　示す如
きノロ−チャートの内容全実行する。

本／ミュレーション７ステム２４の動作を具体別を用い
て読切する。具体例には第６図に記述した／ステムを用
いる。第６図（ａ）にあ・いて、ｐ１〜ｐ５はプレース
塩であり、ＤＳＬ−Ｌ）８５はラーータｔ４４造名であ
り、ｔ１〜ｔ５はトラジション名でめり、Ｄｌｌ、ＩＪ
ｉ２はトーク／の移動条件をボしている。第６図（ｂ丹
こは、１）８１〜１）８５に対応したアータ檜這葡がし
ている。第６図（ｂンの意味は、ＩＪＳＩというテーク
栴道名全クリにとると、とｎは下位に１）Ｓ１１とＤＳ
　１２ｆ直槓という関係で付っているということヲ表わ
している。また、　１）Ｓ２は、下位にデータ＋Ｓ遺を
狩っておらず、１）８２が戚下位のテークでｂることに
＆ゎしている。

ノミュレー／ヨン′奮開妬するに邑り第６図（ａ）（’
Ｑにボした／ステムＶＣ対応した７ステム構成テーブル
２１及びデータイＦ４遺テーブル２２をテーブル構成の
規則（第３図及び第４図）にのっと多作成し第７図及び
第８図にボす。

第６図（ａ）、（ｂ）に基づいた谷テーブルの作成方法
をプレース塩ｐ４をレリにとって示す。ｌず初めにプレ
ース名ｐ４ｔシステムＭ欣テーブルのプレース名記憶城
の空エリアに記入し、プレース塩ｐ４に待機するトーク
ンが保持しなければならないデータ構造名ＤＳ４をプレ
ース塩ｐ４に対応するデータ購造名記憶域に記入し、ト
ークンの存在フラグケ“０″にする。次にプレース塩ｐ
４と関係するトラジンヨン名は、ｔ２とｔ４とｔ５でお
る。

ｔ２とｐ４の関係は、トラジションからプレースへトー
クンが！＝できる関係であｐ、ｔ４．ｔ５とｐ４の関係
は、プレースからトラジションヘトークンが後動できる
関係でおる。よってプレースとトラジ／ヨンの関係記憶
域には、前者については”−１″ｔ％後省については”
１″を、その他の所には”０”を記憶させる。次にｐ４
からｔ４には、トークンの移動条件Ｌ）ＩＩが、ｐ４か
らｔ５には、トークンの移動条件Ｄ■２がるり、これら
をトークンの後動条件記憶域に記憶させる。

さらに、データ構造名ＤＳ４の構造をテーク構造テーブ
ルに記憶させる。データ栴遺名ＤＳ４は、下位にＤＳ４
１及びＩＪＳ４２を直利で持っている。

よってｆ−夕俗這名にＤＳ４を記憶名せ、　１）ｓ４に
対応して関係に直利を、下位のデータ檜造名にＪＪＳ４
１．ＪＪＳ４２を記憶さセル。さらにＤＳ４１　。

ＤＳ４２勿データ１４逍名に記入する。この２″：）は
、汁位に４］４造を付たないので、関係及び下位のデー
タ構道名は、存在しないことを記入する。

以上の休にしてシステム構成テーブル（第３図）とデー
タ構造テーブル（第４図）の初期設定が行なわれ、この
彼にシミュレーションを開始する。

以廃にノミュレーソヨン夾施例を示すわけであるが、今
回ｒユ、第６メの汐Ｕにおいて、プレース塩ｐｌにトー
クンを設定し、トークンがトラジション名ｔ１會通リプ
レース名ｐ２及びｐ３へ９鯛し、ヤの１　プレース塩ｐ
２のトーク／がトラジゾヨン名ｔ２に＊リプレース名ｐ
４へ、プレース塩ｐ３のトークンがトラジンヨン名ｔ３
ｔ−４！０プレース名ｐ５へ移動するケースについて示
す。

ノミュレーション囲始に当っては、まずどのプレースか
らノミュレーショ／を開始するのかを入出力装置から設
定する。即ちシミュレーンヨン７ステム２４は、まずス
テップ５１においてトークン設定プログラム２３を通し
てシミュレーションを開始するプレース塩を得る。シミ
ュレーションを開始するプレース塩を得ると、システム
構成テーブルの該プレース塩に対応するトークンの存在
フラグ記憶域全存在（“ｌ″）にする。本シミュレーシ
ョンケースでは、シミュレーションヲ開始するプレース
塩はｐｌでおるので、システム構成テーブルのトークン
の存在フラグ記憶域の内容を第９図（ａ）の状態から、
第９図（ｂ）の状態になる。

ステップ５２において、シミュレー／ヨンシステムが、
シミュレーションを開始する揚りＴｔｌ″決定する。す
なわち、システム構成テーブル（第３図）でトーク／の
任侠フラグ記憶域の内容が１°′のものを横系する。横
系は、トークンの存在フラグ記憶域の全てを旭査に行な
う。この７ミユレー７ヨンケースでは、システム構成テ
ーブル（第７図）のトークンの存在フラグ記憶域は、第
９図（ｂ）の状態となっている。横系は、プレース塩ｐ
１に対応す；ｂｉｔ１１慮填よシイ丁なう。プレース名
ｐ１のトークンの仔仕フラグ記憶城の同番は”１“でめ
シ、プレース名ｐｌが、シミュレーションを行な′）場
所でりゐことがわかる。ステップ５３によｐ％動作すめ
トークンが存在することが明らかになったのでスケソゲ
５４をｆＴなう。

ス１ング５４では、シミュレーンヨン対尿システムで、
どの様ガ慎寵が実行でさるのか（トークンの移動先トラ
ジゾヨンとしてどの様なものがあるか）を調べる。すな
わち、ステップ５２で決定したプレース名について、シ
スチムニｍテーブル（第３図）のプレースとトラクシヨ
ンの関係金部べる。即ちプレースからトラクシヨンへの
＝ｍという関係（“ｌ°′のフラグが示されているもの
）が２１１ｉ１１以上（〆に笑何できる愼舵が被畝憫め
シ辿択１−る必資がめる。）めるか、１ｉｉＱｌ（次に
笑竹でさる域１１ヒが１１園だけめる。）か、１個もな
い（次に笑何すべき機能がない。）か？調べる。本実施
例の７ミユレーシヨンケースでは、クステム構成テーブ
ル（第３図）は、第７図に示す通りでるる。

ステップ５２で検索したプレース名ｐ１についてのプレ
ースとトラクシヨンの１契保Ｂｒ：２憶域を調べると、
プレースからトラクションへの移動関係が必るのはｔｌ
の１つのみでおるということがわかる。

ステップ５５では、ステップ５４で判明し７′ｃ次に実
行できる機能がシミュレーションできるか（トークンが
一意的にトラクシヨンへ移動できるか）？判定する。一
般的には、スナップ５４で調べたプレースとトラクショ
ンの関係の個数にニジ次の球に分岐する。関係が２個以
上任托しでいる礪脅は、トークンの移動先（次に実行す
ぺぎ機能）が決定でさずステップ５６を行なう。ＰＡ係
が１１固だけの部会は、トークンの移動先が、囲体のめ
るトラジション名に矢尻できるのでステップ５８を行な
う。閑帰が１個もない時は、トークンの移動先がないの
でこれ以上このトークンのシミュレーションを行なわず
ステップ５２へ戻る。本７ミユレーシヨンケースでは、
関係が１個だけでおるので移動先トラジション名をｔｌ
と決定しステップ５８を行なう。

スケソゲ５８では、兼行すべき機能は、他のどの槻りと
の来何か終了した時に実行できるか（即ち、移動先トラ
クシヨンは、葭プレースから移動してくるトークンの他
に同期を必要とするトークンがあるか）を調べる。丁な
わち、／ステム構成テーブル（第３図）のトークンとト
ラクシヨンの関係でトークンの移動先として決定された
トラジンヨン名について、該プレース名以外のプレース
名と、プレースからトラクションへの移動関係（”１″
のフラグかがされでいるもの）があるかを調べる。

、＋７ミユレー７ヨンケースにおいては、トラ９７３７
名ｔ１に関して、プレースとトラジショ／の関係−ｔ−
Ｓべると、プレースからトラクシヨンへの移動関係かり
るのは、プレース名ｐｌ自身のみでりゐことがＶかる。

ステップ５９では、スケソゲ５８で調べたシミュレーシ
ョンを行なう機能ｇＨ行以前に終了しておくべき愼簡の
夾竹は、終了したか（トラクションの同期は取れた妙四
を確認する。すなわち、前ス１ツブ５Ｂでプレースから
トラクションへの移動のｔ＠体が、該プレース名だけの
場合は、同期がとれているとしてステップ６０を行なう
。該プレース名以外にもある時は、プレース〃・らトラ
／ソヨ／への関係がある全てのプレース名に対するトー
クンの存在フラグ記憶域の同各が存在（“１”）を示し
、かつトークンの紗動条汁記憶域に、未什がないかを調
べる。調べた幀呆、全てのプレース名にトークンの存在
フラグが存在（”１”）葡示し、トークンの移動栄件が
ない場合は、ステップ６０”ｄ−竹なう。それ以外は、
まだ実行がボく了していない＠能がめるためステップ５
２へ戻る。不ソミュレークヨンケースの４合は、ブレ　
””　’だけであるのでスケソゲ゛６０をイ丁なう。

スケソゲ６０では、機Ｔｉ巳の央イ了（トークンがト、
　　＼　　。

ラジショ峙通過し次の７レースに移動する）を０なう。

すなわち前ステップまでで決定されたトラジゾヨン名に
ついて、プレースとトラクションの関係勿調べ、プレー
スからトラクションへの移動関係にある全てのプレース
名のトークンのｉＥフラグを存在する（“１″）から存
在しない（”０”）とし、トラジノヨンからプレースへ
の移動関係にある主でのプレース塩のトークンの存在フ
ラグを仔仕しない（“０”）から存在する（”１”）に
すな。次にステップ６１を何なう。本シミュレーション
ケースでは、トラジンヨン名ｔ１についてノ“レースと
トラジ７ヨンの関係を調べる。プレースからトラ７ショ
ンへの移動関係にあるのはプレース塩ｐ１でめり、プレ
ース塩ｐ１に対応するトークンの存在フラグ全存在する
（”１′）から存＆　Ｌ　ｉ　イ（”Ｏｎ）にする。さ
らにトラクションからプレースへの移！初関係にあるプ
レース塩ｐ２及びプレース塩ｐ３に対応するトークンの
存在フラグを仔仕しない（”０゛′）から存在するじ１
’）にする。次ＶＣステップ６１を有なう。

ステップ６１においては、実行を行なつｆｃ憬能（トー
クンの通過したトラクション）の入力データ構造と出力
データ構造を作成する。すなわち、前ステップでのトラ
ジション名と関係を持つ全てのプレース塩のプレースに
存在したトーク／が保拉していたデータ構造をデータ構
造テーブル（第４図）を参照して作成する。すなわち、
データ構造を作成するプレース塩に対応するテータ構造
名をキーにしデータ構造テーブル（第４図）より、テー
タ構造名と下位のデータ構造名との関係と、その下位の
データ裕遺名を調べる。調べた粕米侍られた下位のデー
タ構造名を調べる。調べた枯呆得られた下位のデータ構
造名が、全て存在しない場合以外は得られた個々の下位
のテータ構造名をキーにして同様に行ない、調べた結果
が全て存在しない場合になるまで繰り返す。本シミュレ
ーションケースの場合トラジション名ｔ１について関Ｓ
するプレース塩ｐ１、プレース塩ｐ２及びプレース塩ｐ
３についてデータ構造を作成する。プレース塩ｐｌに対
応するデータ溝造名Ｌ）Ｓｌをキーにしデータ栴這テー
ブル（第８図）を調べると、第８図（ａ）に示す様に直
積という関係と、ＤＳｌｌとＤＳｌ２という下位のデー
タ構造名を得る。次にＤＳｌｌをキーにして調べると、
第８図（ｆ）に示す様に存在しないという関係を得る。

同様にＤＳｌ２も存在しないという関係を得る。これに
より１）Ｓｌの全体のデータ構造を得る。同様にプレー
ス塩ｐ２及びプレース塩ｐ３についても全体のデータ（
１造を得る。次にステップ６２を行なう。

ステップ６２では、入出刃装置２６に、上記機能の実行
過程を表示する。表示するものとして、実行した機能（
トラジション名）とその入力データ構造と出力データ構
造及びトークンの移動過程がある。本シミュレーション
ケースの１は、第１０図（ａ）の第１回目の移動位置（
０）と、第１０図（ｂ）を表示する。これは、シミュレ
ー７ヨ／対象／ステム内において、ＤＳｌというデータ
構造を１）Ｓ２及びＤＳ３というデータ構造に変換する
機能をシミュレーションしたことを示す。次にふたたび
ステップ５２へ戻り次の７ミユレーシヨンを開始する。

ステップ５２では、次の７ミユレーシヨン開始場所を決
定する。ステップ５２の２度目以降の実行時には、シミ
ュレーション対象システムの動作が不ｒｉｆ能な状態で
ないかを確認する。確認を行なうのは、トーク／のイｆ
−仕フラグ記憶域を、全て検索し終った時に行なう。そ
の方法は、トークンの存在フラグ記憶域の検索が始まる
前と、検索が終了した時とを比較する。この紹未同−の
状態であレバ、シミュレーション対象システムの動作が
不可能でめシ、ステップ５３により、シミュレーション
を終了する。一つでも異なる記憶域があれば、ふたたび
検索を丸める。本シミュレーションケースの場合は、ま
だ全ての検索を行なっていないため、次のシミュレーシ
ョン開始場所を決定する。

この時点では、トークンの存在フラグの状態は、第９図
（Ｃ＞の状態であるので、ステップ５２及びステップ５
３に工９プレース名ｐ２のトークンについてシミュレー
ションを行なう。上記ステップと同じ過程を通シ、トー
クン存在フラグを第９図（（１）の状態とし、入出力装
置２６に第１０図＜ａ）の第２回目の移動位置■と第１
０図（Ｃ）を表示する。このことは、ＤＳ２というデー
タ構造を１）Ｓ４というテータ俗造に変換する機能を実
行したことを示す。

次にステップ５２により、プレース塩ｐ３についてシミ
ュレーションを行ない、ＩＨｊ様にトークンのイチ在フ
ラグを第９図（ｅ）の状態とし、入出力装置２６に第１
０図（ａ）の第３　＝目の移動位置（４）と第１０図（
ｄンを表示する。

次にスラーンプ５２により、プレース塩ｐ４についでシ
ミュレーション’ｅ　’ｉｒ　！う。本フレースノトー
クンは、ステップ５４にょシフ“レースがらトランザク
ンヨンへの移動１！］係が、トラジション名ｔ４及びＩ
５の２つについて存在することがわかる。これは、次に
実行すべき機能が複数個ありその内一方を瑞択する必要
がある。よってステップ５５に従ってステップ５６を行
なう。

ステップ５６では、次に実行すべ＠機能を７ミユレーゾ
ヨ／を竹なっている人に選択してもらうために、必要な
情報２人出力装置２６上に表示すゐ。すなわちシステム
溝底テーブル（第３図）の蔽プレース名においてプレー
スからトラジ７ヨンへの移動関係かめるトラ２フ３フ名
及びトークンの秒動榮十十を入出力装置２６へ表示する
。本しＵの場合ンよ、プレース塩ｐ４について、プレー
スかうｊ・ラシ／ヨンへの移動関係がめるトラジション
名ｔ４及びＩ５であり、分岐条件はそれぞれＤｌｌ。

１）Ｉ２であるので、これらを表示し選択を安求する。

次ステツプ５７で、ステップ５６で表示された・情報を
もとに、次に実行すべき機能を選択する。

すなわち、情報入力プログラム２５により、分岐すべき
トラクションを得て、ステップ５８を行なう。本シミュ
レーションケースの場合は、トラジンヨン名１４又はＩ
５の入力金得る。

この結末トークンの存在フラグは、第９図（ｆ）の（１
）又は（２）の様になシ、入出力装置２６に第１０図＜
ａ＞の第４回目の移動位置（１）又は（２）と（口、■
）、第１０図（ｅ）の（１）又は（２ンを表示する。

以上力、本シミュレーションシステム２４（Ｄ動作の詳
細である。なお第６図（ｂ）ではデータ構造が直積と直
利の場合について例示したが、実際には列構造の場合も
あって、列構造の場合は第６図（Ｃ）のように表わす。

これは同一のデータが何個かを有する構造であることを
示し、第６図（Ｃ）ではデータ構造ＤＳ２１の列構造で
あることを意味する。

次にこのノミュレーショ／方式を実際のシステムに進用
する胸倉の’７Ｎとして圧延システムの部会について＋
ａ　’Ｉｉ′ｊ−ｊ−る。そのシステムψ！［［１１図
に７ノクす。ｍｌ１図に７」＜シだ圧延システムは、丸
めに圧延ラインにコイルをセントし、次に板厚測定と圧
延１ｕ１」伺１ｅ＜り返し一定厚に圧延を行ない、コイ
ルをよきとる。以下これｆｆｉ＜４１）返し実行する。

一方ＬＬ延制御／スデムｔよ、上記動作を制御し、さら
に体動１′に＠＝　ｇ己録する。

この圧ｍ　ｍｌＪ　御ノステムをシミュレーションする
ために第６図のクリにならって作成したベトリネントモ
チルを第１２図（ａ）（ｂ）に示す。第１２図（ａ）（
ｂンにおいて圧延制御システムは、圧延開始信号にょシ
コイルセントを行ないこの後板厚測定に対し圧畑市１ｊ
側１１＝号を、体動ｆｊｆ報バ己録にはコイル屋をそれ
ぞれ出力する。板厚御」定は圧延対象となっている板の
厚みを測定する。板厚が一定厚（本例の場合ｌＯ簡）以
下ならばコイル”まきと９へ、１０図以上なら圧延制御
を付なう。圧延制御と板厚測定は板厚が１０謹以下にな
るまで繰り返す。一方稼動１゛に味日己鱈Ｖよコイルレ
ムをβ己録し、配録斡了１１号を出力する。コイルｌさ
とりは、板厚≦ｉｔ）諺でり９配置＃：較了信号かりる
ときに行なゎｎ、コイルセントに刈し圧延囲姑１６号ｒ
出力する。

以下この作東をくり返す。

第１２図の椋な７ステム全第２１の笑胤例にＬｐ来机す
る一合の、システム俗収Ｔ−プル２１及びデータ慣造テ
ーブル２２の内′６ｔでれぞｎ第１３図及び第１４図に
示す。本例音用いて恢米のンミュレー７ヨ／方式と本７
ミユレーシヨン方式葡比較する。梃米の７ミユレ一／ヨ
／方式では、トラジゾヨンの実行ノ貝圧のみが示さ扛、
分岐が＃−仕する儒せの分岐方間は分岐する＊杆がおさ
しかでなくンミュ７−／ヨン金行なう省の感に１１５）
だねられる。丁なわら本的では、トークンｋｐｌに４Ｊ
Ｊ期設定したｖｌ甘せイルセント→板厚測定、憚鯛↑Ｉ
ｖ糧配球と７ミユレーゾヨン顧呆が表示δれ、板厚測足
以Ｐ＊は、分岐がめるため実行できなくなる。本兄明の
シミュレーション方式ＶＣおいては、圧ａ＝始佃゛号の
人力によりコイルセントが実行され圧ＩＩ＆制＃侶号及
びコイルＡが出力される。次に板厚ｍ＋＋　ｗが圧延制
御信号に工り夾付され板厚が出力される。

烙しに偉勤情報記球がコイル屋によシ、板厚測定と非同
期に実行８れる。恨厚測定災行後板厚測定の出力データ
でめる版厚により久に実行さ扛るトフジゾヨンが大足場
！しる。この株に本発明のシミュレーション方式によれ
は、データの流れが明確にシミュレーションでき、さら
に分岐においてはンミュレーゾヨン実抛省の感による分
岐をさけることができる。

〔兄明の効果〕

本発明による機能７ミユレーシヨ／方法によるとデータ
の変換Ｓ程に２けるテータ構造の推移を宮む機能のンミ
ュレーゾヨンを行なうことができる。

【図面の簡単な説明】

第１図はベトリネントモデルの例を、第２図は本発明の
峨略をがすブロック図を、第３図はシステム構成テーブ
ルの例ケ、第４図はデータ構造チー　フルノＶｉｌＪｋ
　、　Ｍ　５図はシミュレー７ヨツクステムの処理フロ
ーの例を、第６図（ａ）〜（Ｃ）は本発明を睨明するた
めの実施例を、第７図、第８図は第３図第４図に対応し
たテーブルの例を、第９図はプレースにおけるトークン
の推移を、第１Ｏ図（ａ）〜（ｅ）は１衰能の実行推移
説明図を、第１１図〜第１４図は圧蛎システム機能シミ
ュレーションのｉ＋ｌＪ　’ｃ　示す。 ２０・・・記憶装置、２１・・・システム構成テーブル
、２２・・・データ構造ファイル、２３・・・トークン
設定プロクラム、２４・・・シミュレーノヨン／スデム
、第３１２ 第　４　口 第５１２ 箋６（２ （ａ〕 （Ｃ） 第７区 第　８（２１１ 第　９（２１ 第１１の ７１２図 狛　Ｉ３　　の ２ 循　１４　の

Claims (1)

【特許請求の範囲】
1. １、懐畝の処理が同期おるいは非同期に動作するシステ
   ムの機力）：禁シミュレーションする方法でｂって、入
   出力データを衣机するトークンと、トークンがｆ＋ｐす
   る物ｑｒｔボすプレースと、被数のトークンを同期して
   入力し複数のトークン全出力するトフシシ」ンと金めら
   かじめ建め販トークンをプレースからプレースへ移動さ
   せることによシシステムの愼龍ヲシくユレートする方法
   において、りら〃・じめ厘めりｎたデータ構迫をトーク
   ンに設走１己１、はさせ、戚フ゛レースには姥プレース
   に位慨するとぎトークンが沫付しなければならないテ〜
   り傳迫葡設定記憶さぞ、該設疋記憶された記憶情報に羞
   づいてトークン勿プレースからプレースへ移ｗＪ芒せる
   とともに１・−クンに設足されたデータ構造変化をトレ
   ースし、該トレースした粕釆を表示して人カデータ構迫
   から出力１−夕構這への変換過性をトレースすること−
   ｅｑ＋家とするシステムの磯ｎヒシミュレーション方法
   。