「PETRI NET」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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例文帳に追加

プログラム、列車運行適応ペトリネットモデル生成装置、列車抑止手配支援装置、列車運行適応ペトリネットモデル生成方法及び列車抑止手配支援方法 - 特許庁

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.例文帳に追加

本発明の拡張ペトリネットに基づく制御装置（１０１）は、入力手段（１０５、１０６）と、表示手段（１０４）と、ペトリネットモデル設計手段（１１１）と、ペトリネット実行手段（１１２）とを備え、外部の制御対象機器（１０８）と接続可能なコンピュータシステムからなる。 - 特許庁

a proof technique which combines techniques from Petri net theory and from temporal logics 例文帳に追加

ペトリ・ネット理論からの技術と時相論理からの技術とを組合わせた立証技術 - コンピューター用語辞典

To provide a controller based on an extended Petri net useful for a design or improvement of a physical distribution system.例文帳に追加

物流システムの設計や改善に役立つ拡張ペトリネットに基づく制御装置を提供する。 - 特許庁

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)を決定する。 - 特許庁

Thereby, control of a system, monitoring of the system, and performance evaluation of the system can be performed by one Petri net model.例文帳に追加

これにより、システムの制御、システムの監視およびシステムの性能評価を１つのペトリネットモデルで行うことができる。 - 特許庁

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).例文帳に追加

ペトリネット形式のモデルを入力し（３０１）、このモデルの有向枝を逆向きに変換して逆時間モデルを作成する（３０２）。 - 特許庁

A Marked Graph is a pure (ordinary) Petri Net system where every place has only one input transition and one output transition. 例文帳に追加

マークグラフは, すべての場所が一つだけの入力遷移と一つだけの出力遷移とを持つとき, 純粋(正規)ペトリ・ネット系である. - コンピューター用語辞典

To provide a Petri net, capable of more accurately modeling a system through a self-organizing process and further quickly leaning the same than back propagation learning used in the general Neural net.例文帳に追加

自己組織化過程を通じてシステムのモデリングをより正確に、且つ一般のニューラルネットにおいて用いられる逆伝播学習より一層速く学習することができるぺトリネットを提供する。 - 特許庁

Simulation concerned with the work is performed by using the Petri net (step 106), a working method, a working environment or the like is improved (step 108) and the processing is repeated until prescribed safety is satisfied.例文帳に追加

ペトリネットを用いて作業に関するシミュレーションを行い（ステップ１０６）、作業方法や作業環境等の改善を行い（ステップ１０８）、所定の安全性を満足するまで処理を繰り返す。 - 特許庁

The decomposition of a working procedure to be analyzed and the arrangement of the sequences are performed (step 101), the causes of a disaster are extracted, the causal relation of these causes is arranged (step 102), the working processes are connected with the causes of the disaster (step 103), and the connected state is expressed by a Petri net (step 104).例文帳に追加

解析対象となる作業手順の分解と前後関係の整理を行い（ステップ１０１）、災害の要因を抽出し、それらの因果関係を整理し（ステップ１０２）、これらの作業と災害要因とを結合させ（ステップ１０３）、それらをペトリネットで表現する（ステップ１０４）。 - 特許庁