All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets(Concurrent Systems)
スポンサーリンク
概要
- 論文の詳細を見る
For fixed initial and destination states (i. e., markings), M_o and M_d, there exist generally infinite firing count vectors in a Petri net. In this letter, it is shown that all fundamental particular solutions as well as all minimal T-invariants w. r. t. firing count vectors are needed to express an arbitrary firing count vector for the fixed M_o and M_d. An algorithm for finding a special firing count vector which is expressed by using the only one specified fundamental particular solution is also given.
- 社団法人電子情報通信学会の論文
- 2005-01-01
著者
-
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
-
MURAYA Akira
the Department of Electrical and Electronics Engineering, University of Fukui
-
MATSUMOTO Tadashi
the Department of Electrical and Electronic Engineering, Fukui University of Technology
-
HASEGAWA Haruo
Oki Electric Industry Co., Ltd.
-
Muraya Akira
The Department Of Electrical And Electronics Engineering University Of Fukui
-
Hasegawa Haruo
Oki Electric Industry Co. Ltd.
-
Matsumoto Tadashi
The Department Of Electrical And Electronic Engineering Fukui University Of Technology
関連論文
- 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
- 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)