「PETRI NET MODEL」を含む例文一覧(5)
- PROGRAM, TRAIN OPERATION ADAPTIVE PETRI NET MODEL GENERATOR, TRAIN DETERMENT ARRANGEMENT SUPPORT DEVICE, TRAIN OPERATION ADAPTIVE PETRI NET MODEL GENERATION MEANS AND TRAIN DETERMENT ARRANGEMENT SUPPORT METHOD
プログラム、列車運行適応ペトリネットモデル生成装置、列車抑止手配支援装置、列車運行適応ペトリネットモデル生成方法及び列車抑止手配支援方法 - 特許庁 - A model of Petri net format is inputted (301), and a reverse time model is produced by converting th directed branch of the model in a reverse direction (302).
ペトリネット形式のモデルを入力し（３０１）、このモデルの有向枝を逆向きに変換して逆時間モデルを作成する（３０２）。 - 特許庁 - This controller 101 based on the extended Petri net comprises a computer system having input means 105, 106, a display means 104, a Petri net model design means 111, and a Petri net execution means 112, connectable with external control target equipment 108.
本発明の拡張ペトリネットに基づく制御装置（１０１）は、入力手段（１０５、１０６）と、表示手段（１０４）と、ペトリネットモデル設計手段（１１１）と、ペトリネット実行手段（１１２）とを備え、外部の制御対象機器（１０８）と接続可能なコンピュータシステムからなる。 - 特許庁 - Thereby, control of a system, monitoring of the system, and performance evaluation of the system can be performed by one Petri net model.
これにより、システムの制御、システムの監視およびシステムの性能評価を１つのペトリネットモデルで行うことができる。 - 特許庁 - The travel of the AGV is constituted of a Petri net model, a target state amount M_r set corresponding to an AGV state and a carriage instruction is defined as a target, and an operation vector u(k) is determined from the state equation of a Petri net.
ＡＧＶの走行をペトリネットモデルで構築し、ＡＧＶ状態と搬送命令に応じて設定された目標状態量Ｍ_rを目標として、ペトリネットの状態方程式から操作ベクトルｕ(k)を決定する。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
