-
[文献書誌] T.Matsumoto, Y.Tsuruta: "Necessary and sufficient condition for liveness of asymmetric choice Petri nets" IEICE Trans.on Funds.of ECCS. E80-A,3. 521-533 (1997)
-
[文献書誌] T.Matsumoto, K.Saikusa: "Minimum number of live minimal structural traps to make a minimal structural deadlock locally live in general Perti nets" IEICE Trans.on Funds.of ECCS. E81-A,1. 164-174 (1998)
-
[文献書誌] T.Matsumoto, Y.Miyano: "Reachability criteria for Petri nets with known firing count vectors" IEICE Trans.on Funds.of ECCS. E81-A,4. (1998)
-
[文献書誌] T.Matsumoto, Ahamed Tarek: "Finding legal firing sequence in basic reachability problems of Petri nets by minimum principle of Pontryagin" Proceedings of the 10th IEICE Karuizawa Workshop on Circuits and System. 321-326 (1997)
-
[文献書誌] T.Matsumoto: "Finding legal firing sequences in submarking reachability problems of Petri nets by descrete-time Pontryagin's minimum principle" Proceedings of ISCAS'97(IEEE). 1017-1020 (1997)
-
[文献書誌] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some useful sufficient criteria for basic reachability problem in general Petri nets" Proceedings of 1997 International Technical Conference on Circuit/Systems,Computers and Communications. 1103-1106 (1997)
-
[文献書誌] T.Matsumoto, K.Saikusa: "How many live minimal structural traps are required to make a minimal deadlock locally live in general Petr nets?" 福井大学工学部研究報告. 45,1. 45-57 (1997)
-
[文献書誌] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some useful sufficient criteria for basic reachability problems in general Petri nets" Proceedings of the 36th IEEE Conference on Dccision an Control. 4104-4109 (1997)
-
[文献書誌] T.Matsumoto, Y.Miyano: "Reachability criteria for Petri nets with known firing count vector" IEICE Technical Report. 96,493. 31-38 (1997)
-
[文献書誌] T.Matsumoto: "Minimum length legal firing sequences for submarking reachability problems in Petri nets" IEICE Technical Report. 96,493. 39-46 (1997)
-
[文献書誌] T.Matsumoto, Y.Miyano, Y.-Z.Jiang: "Some sufficient criteria for reachability in general Petri nets" IEICE Technical Report. 97,51. 39-46 (1997)
-
[文献書誌] T.Matsumoto, H.Ohno, M.Osogami: "Relationships between structure and behavior of partially ordered condition Petri nets and their subclasses : Loveness conclitions-Part II-" 計測自動制御学会,第20回離散事象システム研究会講演論文集. 1-8 (1997)
-
[文献書誌] 松本 忠: "一般化逆列によるペトリネットの挙動の評価について" 電気学会,産業システム情報化研究会. IIS-97-51. 23-29 (1997)
-
[文献書誌] 松本 忠,中尾 岳史,川腰 朋弥: "ペトリネットにおける挙動的トラップの一般構造について" 信学技報. 97,156. 21-28 (1997)
-
[文献書誌] 松本 忠: "ペトリネットのインバリアント基底系の簡易計算法" 信学技報. 97,156. 13-20 (1997)
-
[文献書誌] 加藤 拓人,松本 忠: "多重重み付きペトリネットの活性判定法" 信学技報. 97,401. 95-102 (1997)