Pat
J-GLOBAL ID:200903088886732848
拡張ペトリネットに基づくシミュレーション装置
Inventor:
Applicant, Patent owner:
Agent (1):
國分 孝悦
Gazette classification:公開公報
Application number (International application number):1997158042
Publication number (International publication number):1998334075
Application date: May. 30, 1997
Publication date: Dec. 18, 1998
Summary:
【要約】【課題】 少なくともトークンに属性を定義することができ、トークンの属性を用いてトランジションの発火ルールをユーザが自由に記述可能な拡張ペトリネットを用いて、物流などの離散事象システムをシミュレーションする装置において、プレース内の複数トークンの競合だけでなく、複数トランジションの競合をもユーザが自由かつ簡単に解消する手段を提供する。【解決手段】 発火優先順位設定手段110により設定されたプログラムを実行して発火優先順位を計算する。全てのトランジションの全ての発火トークン組み合わせ112を求める。発火処理手段111は、先に計算した発火優先順位の高い順番に、発火トークン組み合わせ112でトランジションを発火させ、入力プレースからトークンを削除し、出力プレースへトークンを送る。
Claim (excerpt):
メモリやディスクの記録装置、ディスプレイの出力装置を備えたコンピュータシステムを用い、少なくともトークンに属性を定義することができ、トークン属性を用いてトランジションの発火ルールをユーザが自由に記述可能な拡張ペトリネットモデルを作成する手段と、前記拡張ペトリネットを前記出力装置に表示する手段と、前記モデルを前記記録装置に記録する手段と、記録された前記モデルのシミュレーションを実行して、シミュレーション結果を前記出力装置および/または記録装置に出力する手段とを備えた拡張ペトリネットに基づくシミュレーション装置であって、各トランジションの各発火トークンの組み合わせごとに、発火優先順位を設定する手段と、発火優先順位が高い順番に当該トランジションの当該発火組み合わせを発火処理する手段とを有することを特徴とする拡張ペトリネットに基づくシミュレーション装置。
Patent cited by the Patent:
Cited by examiner (1)
-
物流シミュレーション装置
Gazette classification:公開公報
Application number:特願平5-190361
Applicant:株式会社神戸製鋼所
Return to Previous Page