プレースインバリアントをもつペトリネットによるシーケンス制御システムのモデリング
スポンサーリンク
概要
- 論文の詳細を見る
It is difficult to model a discrete system than a continuous system. Recently, a great number of applications of Petri nets to the design and the analysis of discrete systems have been reported. However, a common problem in its applications is that the required computer memories and the computation times increase explosively in accordance with the increase in the number of systems components. Some methods to divide or to reduce Petrinets have been proposed to solve this problem. Although the liveness and boundedness of Petri nets are held in the divided or reduced Petri nets, the reachability problem can not be solved by these methods.In this paper, we propose another method to model discrete systems by Petri nets with place invariants. Sequential control system will be described as a typical kind of discrete systems, and its structural characteristics will be used in modeling. Each component of a sequential control system will be modeled by a sub Petri net with place invariants. There are many components in one sequential control system, but each one is not necessarily complicated. Most sub Petri nets do not have so many places or transitions. It is also well known that a Petri net with place invariants is bounded and can be live by being put sufficient tokens into its initial marking. Besides, the reachability problem is not so difficult to solve in a small sub Petri net. Further, we define an activating relation to combine two or more sub Petri nets. And, some rules to reduce conflicts among enabled transitions will be described for simulations.
- 社団法人 電気学会の論文
著者
関連論文
- 誘導電動機の二次磁束パラメータとして考慮した瞬時トルク制制の実現法
- 遺伝的アルゴリズムによる下水送水ポンプ運転計画問題の解法
- 数理計画法によるペトリネットの可達問題における発火系列の探索手法
- 電圧制御形インバ-タによる誘導電動機のトルク速応制御(パルス電圧印加による過渡項の消去)
- カラペトリネットによるフィルドバスネットのデータリンク層プロトコールの送信手順の評価(グラフ,ネットワークとアルゴリズムおよび一般)
- 線形計画法によるペトリネットの発火系列探索(グラフ,ネットワークとアルゴリズムおよび一般)
- ペトリネットの構造解析と計数プレースの付加法
- 公共施設電気設備の地震対策調査専門委員会の成果と課題
- 免疫手法による搬送計画作成
- ファジィ係数を持つ線形動的系の安定性
- 観測量を基にした人事意思決定の提案 : 人物評価・人材選択問題への拡張型ファジィ関係式の適用
- ファジィ変数の行列要素を持つファジィ関係式の逆問題解法
- 線形計画法によるペトリネットの発火系列探索
- 8.一般講演6…区間値ファジィ関係式の自動車駆動制御への応用(関東支部 第2回ワークショップ実施報告)
- ファジィ関係逆問題における解の存在性判別
- シーケンス制御
- 区間値ファジィ関係逆問題法による走行環境推定
- ファジィ関係不等式の一解法
- 符号行列によるファジィ関係式の解法
- 連結領域ごとにしきい値を決定するための高速アルゴリズム
- 領域形状に基づく領域抽出のための高速アルゴリズム
- 輪郭とエッジの一致尺度に基づく再帰的しきい値決定のための高速アルゴリズム
- NE21モデルによる温暖化対策の統合評価
- T-SFCによるシーケンス制御の記述に基づくPCプログラム展開
- T-SFCによる自動機の「戻し動作」の記述およびその制御への応用
- プロダクションル-ル方式によるシ-ケンス制御の統合的実現法
- T-SFCによるシ-ケンス制御の記述法
- 並行多重プロジェクトのクリティカルパス検出と負荷対策の立案
- シーケンス制御系の可制御性に関する一考察
- 在宅における高齢者の看護情報検索システム構築への試み
- シーケンス制御系のモード解析に関する一考察
- ペトリネット構造と有向グラフの関係に関する考察
- プログラマブルコントローラの実行時間の評価
- CO2濃度規制実施の不確実性下におけるエネルギーシステム評価
- プレースインバリアントについての一考察
- プレ-スインバリアントをもつペトリネットによるシ-ケンス制御システムのモデリング
- シ-ケンス制御系におけるペトリネット自動生成ES
- シ-ケンス制御系のペトリネットに基づく知識表現および学習による知識獲得
- 特性方程式によるペトリネット構造の考察
- カラーペトリネットに基づいた独立な並列マシンのオンラインスケジューリング
- 仮想生産システムモデルに基づく制御用ネットワークの評価
- 誘導起電力ベクトルに追従する電流による永久磁石
- SFC研究会のミッションと活動
- プレースインバリアントによるペトリネットの分割とネット性質の判別
- プロダクションルール方式によるシーケンス制御の統合的実現法
- T-SFCによるシーケンス制御の記述法
- プレースインバリアントをもつペトリネットによるシーケンス制御システムのモデリング
- シーケンス制御系のペトリネットに基づく知識表現および学習による知識獲得
- 超微量連続注入による一定入力のホルモンの効果とその制御論的解析(内分泌)
- 分散形ネットワ-クのモデル化 (工場内自動化のためのネットワ-ク)
- タイトル無し