制御システムのモデル化に適するように拡張した論理カラ-ペトリネット
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we propose an extension of Petri nets (LC-net) suitable for control systems design and discuss its methods of evaluation. This LC-net is a marked net with addition of the following features: data assignment of marks, representation of firing conditions as logic equations, coupling of output procedures with transition firing, etc. Also, since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets, we introduce this concept formally in our proposed net. Finally, in order to study the behavior of a system modelled with this net, we provide a means for searching the reachability tree of markings. This LC-net is a extended Petri nets which solve a problem of description from Place/Transition Petri nets (PNs) and Colored Petri nets (CPNs) before.
- 長野工業高等専門学校の論文
- 1995-00-00
著者
関連論文
- 有限位相空間における等径的近傍について
- 有限位相空間における膨張・収縮処理とプリント配線パターン検査への応用
- 騒音制御におけるダクトの伝達特性
- 中心多様体と弱非線形系H^∞制御
- 追従制御問題の一解法と, マニピュレータ制御への応用
- ファジィ集合族のコンパクト性とファジィ最適制御の存在
- 5近傍におけるディジタル線分について
- 有限位相空間におけるディジタル線分について
- 離散空間における位相幾何学と表面検査における傷の検出への応用
- 粗近傍を用いた画像ノイズの除去について
- 太陽光発電の最大出力制御
- ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
- 弱非線形系H∞制御における中心多様体と状態フィードバック解
- NBV空間のファジィ集合族のコンパクト性とファジィ制御への応用
- 画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
- 微分方程式を用いた帯域フィルタ処理の高速化と変復調システムへの応用
- 逐次リアルタイム復号処理が可能な2値画像圧縮法
- クロックモデルによるディジタル回路のタイミング検証法
- セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
- ペトリネット評価への順序概念の導入とシステム検証について
- CASEツールとしての論理カラーペトリネット(LC-net)の能力
- クロックモデルによるデジタル回路のタイミング検証法
- 制御ソフトウェアに適したペトリネットの拡張
- ソフトウェアによる振幅変復調の実現 : 放送方式
- 逐次リアルタイム復合処理が可能な2値画像圧縮法
- 制御システムのモデル化に適するように拡張した論理カラ-ペトリネット
- 15) ソフトウェアによる振幅変復調の実現(放送方式研究会)
- 逐次リアルタイム復合処理が可能な2値画像圧縮法
- 制御システムのモデル化に適するように拡張した論理カラ-ペトリネット