An Application of Grobner Basis Approach to Petri Net Problems(<Special Section>Concurrent System Technology)
スポンサーリンク
概要
- 論文の詳細を見る
Finding a nonnegative integer solution x ∈ Z^<n×1>_+ for Ax=b (A ∈ Z^<m×n>, b ∈ Z^<m×1>) in Petri nets is NP-complete. Being NP-complete, even algorithms with theoretically bad worst case and with average complexity can be useful for a special class of problems, hence deserve investigation. Then a Grobner basis approach to integer programming problems was proposed in 1991 and some symbolic computation systems became to have useful tools for ideals, varieties, and algorithms for algebraic geometry. In this letter, Grobner basis approach is applied to three typical problems with respect to state equation in P/T Petri nets. In other words, after Grobner bases are derived by the tool Maple 7, we consider how to derive the T-invariants and particular solutions of the Petri nets by using them in this letter.
- 社団法人電子情報通信学会の論文
- 2003-11-01
著者
-
MATSUMOTO Tadashi
Department of Hematology, Imamura Hon-in Hospital
-
Moro Seiichiro
Department Of Electrical And Electronics Engineering Fukui University
-
Moro Seiichiro
Faculty Of Science And Technology Keio University
-
Moro Seiichiro
Faculty Of Engineering University Of Fukui
-
Moro Seiichiro
The Faculty Of Science And Technology Keio University
-
Moro Seiichiro
The Department Of Electrical And Electronics Engineering University Of Fukui
-
松本 忠
福井工業大学工学部
-
TAKATA Maki
Department of Electrical and Electronics Engineering, Fukui University
-
松本 忠
福井大学 工学部 電気・電子工学科
-
Matsumoto T
Department Of Electrical And Electronics Engineering Fukui University
-
高田 真樹
福井大学工学部
-
Takata Maki
Department Of Electrical And Electronics Engineering Fukui University
-
Takata Maki
Department Of Cell Physiology Faculty Of Medicine Kagawa University:teikoku Seiyaku Co. Ltd.
関連論文
- Rituximab in combination with CHOP chemotherapy for the treatment of diffuse large B cell lymphoma in Japan : a retrospective analysis of 1,057 cases from Kyushu Lymphoma Study Group
- SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
- グレブナー基底のペトリネット可到達問題への適用について
- ファジイペトリネットを用いた推論エンジンルール構造修正法の一提案
- ハールウェーブレットを用いる適応的な解像度の選択による回路解析法(カオスの通信への応用,局在振動,一般)
- 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般)
- ひずみ波交流理論を用いた星形結合発振器の同期現象の検討
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- パルス駆動された星形結合発振器の位相パターンの切り替りの様子について(一般,制御システムとダイナミックス)
- パルス駆動星形結合LC発振器におけるパルスユニットの個数について
- パルス駆動された星形結合LC発振器の位相パターン制御について
- A-2-7 パルス駆動された星形結合発振器の位相パターン変化に対する素子値のばらつきによる影響(A-2. 非線形問題, 基礎・境界)
- 素子値にばらつきのあるパルス駆動星形結合発振器における位相パターン変化について
- ハールウェーブレットを用いる回路解析法について
- 結合発振器ネットワークにおける素子の欠損による位相パターンへの影響
- ウィーンブリッジ発振器の星形結合系の複数の発振器の位相を制御するためのパルス駆動法について
- Aberrant peroxisome morphology in peroxisomal beta-oxidation enzyme deficiencies
- The Jewish-type Cohen syndrome complicated with refractory bronchial asthma and depression
- Genotype-phenotype correlation of 5p- syndrome : pitfall of diagnosis
- Mutation analysis of the ALD gene in seven Japanese families with X-linked adrenoleukodystrophy
- Protein-losing enteropathy complicated with recurrent convulsions and developmental delay in a 4-month-old boy
- 定常連続システムから離散状態システムを得るための一手法(コンカレントシステム,離散事象システム及び一般)
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの状態方程式の非負整数解のレベル表現と生成元の基礎的考察(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットの状態方程式の非負整数解のレベル表現と生成元の基礎的考察(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットの状態方程式の非負整数極小解の非負有理数初等解による特性化-事例集(コンカレント工学一般)
- Secondary resistance to imatinib mesylate in a patient with unresectable duodenal GIST without mutations in exons 9, 11, 13, or 17 of the c-kit protooncogene
- Specific detection of Epstein-Barr virus in inflammatory pseudotumor of the spleen in a patient with a high serum level of soluble IL-2 receptor
- 抵抗で頂点の発振器を星形結合した蜂の巣状回路に見られる同期及び非同期現象
- On Coupled Oscillators Networks for Cellular Neural Networks
- Synchronization Phenomena in RC Oscillators Coupled by One Resistor
- Synchronization Phenomena in Oscillators Coupled by One Resistor
- P/Tペトリネットの状態方程式の非負有理数解の生成元から非負整数解の生成元の導出アルゴリズム(コンカレント工学一般)
- 代数幾何と可換代数におけるグレブナー基底のペトリネットの挙動解析への適用
- ペトリネットの状態方程式の解のレベル3,4,5におけるgeneratorの代数的構造と性質
- 代数幾何と可換代数におけるグレブナー基底のペトリネットの挙動解析への適用
- ペトリネットの状態方程式の解のレベル3,4,5におけるgeneratorの代数的構造と性質
- ペトリネットの状態方程式の非負整数特解の諸性質
- P/Tペトリネットの状態方程式の解のgeneratorの導出法 : 拡張Fourier-Motzkin法を用いた場合
- P/Tペトリネットの状態方程式の解のgeneratorの導出法 : 拡張Fourier-Motzkin法を用いた場合
- Special Report A Genetic Counseling System in Nagasaki Prefecture: The Course and Current Status of the Genetic Counseling Unit in Nagasaki University Hospital
- 2N-phase oscillation in RF CMOS LC oscillators coupled by mutual inductors (非線形問題)
- Phase Pattern Switching in Star-Coupled LC Oscillators Driven by Pulse Train (Special Issue on Nonlinear Circuits and Signal Processing)
- Analysis of the number of stimulation units in pulse-driven star-coupled LC oscillators (ニュートラルネットワーク)
- All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets(Concurrent Systems)
- An Application of Grobner Basis Approach to Petri Net Problems(Concurrent System Technology)
- An Application of Grobner Basis Approach to Petri Net Problems
- An Algorithm for the Set of All Generators of an Arbitrary Firing Count Vector in Petri Nets
- Behavioral Analyses in Petri Nets by Groebner Bases--An Application of Ideals and Varieties to petri Net Problems
- Van der Pol Oscillators Coupled by Piecewise-Linear Negative Resistor : Asynchronous Oscillations by Self-Modulation Effect (Special Section on Nonlinear Theory and its Applications)
- Age-Related Bone Loss : Relationship between Age and Regional Bone Mineral Density
- The gene for mesomelic dysplasia Kantaputra type is mapped to chromosome 2q24-q32
- SICE Annual Conference 2003 in Fukui 会議報告
- ペトリネットに関する最近の研究動向
- ペトリネットに関する最近の研究動向
- パルス駆動された星形結合LC発振器の位相パターン制御について
- IS-61 Silencing of the human ovary-specific acidic protein gene suppresses steroid secretion by adrenocortical cells(Group8 Perinatology1,International Session)
- Neuroprotective Effect of D-Psicose on 6-Hydroxydopamine-Induced Apoptosis in Rat Pheochromocytoma (PC12) Cells(MISCELLANEOUS)
- A case of megalocornea-mental retardation syndrome complicated with bilateral sensorineural hearing impairment
- Autosomal dominant onychodystrophy and congenital sensorineural deafness
- A severe case of Moebius syndrome with calcification on the fourth ventricular floor
- New radiological finding by magnetic resonance imaging examination of the brain in Coffin-Lowry syndrome
- A NAGER ACROFACIAL DYSOSTOSIS SYNDROME PATIENT WITH SEVERE RESPIRATORY DISTRESS SYNDROME (RDS)
- Specific mutation in exon 11 of c-kit proto-oncogene in a malignant gastrointestinal stromal tumor of the rectum
- Heparin Reduces Serum Levels of Endothelin-1 and Hepatic Ischemia Reperfusion Injury in Rabbits
- Spontaneous rupture of a nonparasitic liver cyst complicated by intracystic hemorrhage
- The Effect of Flow on the Neutrophil-Mediated Ca_ Responses in Human Vascular Endothelial Cells Stimulated by Endotoxin
- 推論システムの構造最適化のファジィペトリネットモデルによる試み
- P/Tペトリネットの発火回数ベクトルの実行可能性判定法 : 解ベクトルのgeneratorを活用する方法
- P/Tペトリネットの発火回数ベクトルの実行可能性判定法 : 解ベクトルのgeneratorを活用する方法
- P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム
- P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム
- Prognostic impact of immunohistochemical biomarkers in diffuse large B-cell lymphoma in the rituximab era
- ウィーンブリッジ発振器の星形結合系の複数の発振器の位相を制御するためのパルス駆動法について
- 星形結合されたLC発振器のパルス刺激による位相パターンの変化
- パルス列によって駆動されたRC発振器の結合系について
- Occipital scalp hemangioma : Prenatal sonographic and magnetic resonance images
- 哺乳類における卵子特異的リンカーヒストン
- A-12-2 P/Tペトリネットの状態方程式による可到達性解析 : generatorによる発火回数ベクトルの分解法
- A-12-4 P/Tペトリネットの状態方程式の非負整数非同次解の一般形
- 結合発振器ネットワークにおける素子の欠損による位相パターンへの影響
- 計算機代数システム援用によるグレブナー基底のペトリネットの挙動解析への適用
- An Algorithm for the Set of All Generators of an Arbitrary Firing Count Vector in Petri Nets
- Behavioral Analyses in Petri Nets by Groebner Bases ーAn Application of Ideals and Varieties to Petri Net Problems ー
- A-12-2 ペトリネットの状態方程式の解構造と最簡generatorの導出法
- A-12-1 P/Tペトリネットの状態方程式の非負整数特解に関する諸性質
- P/Tペトリネットの行列方程式の非負整数非同次解のgeneratorの導出 : 拡大接続行列の有理数基底からの導出
- P/Tペトリネットのインバリアントと特解の両者に対するgeneratorの同時導出法 : 拡大接続行列の整数基底からの導出
- P/Tペトリネットの行列方程式の任意発火回数ベクトルのgenerators
- 結合発振器ネットワークにおける結合抵抗による定常パターンへの影響(非線形問題)
- 結合発振器ネットワークにおける結合抵抗の影響とパターンの評価について
- 結合発振器ネットワークにおける結合抵抗の影響とパターンの評価について
- Miller syndrome with novel dihydroorotate dehydrogenase gene mutations
- A Case of Adult-onset Adrenoleukodystrophy with Frontal Lobe Dysfunction: A Novel Point Mutation in the ABCD1 Gene
- Molecular karyotyping in 17 patients and mutation screening in 41 patients with Kabuki syndrome
- A-2-5 パルス列によって駆動された星形結合発振器の位相パターンスイッチング
- コルピッツ発振器の結合系に見られる同期現象について