-
[文献書誌] K.Tsuji: "On Reachability Conditions for Unrestricted Petri Nets" Proceedings of the IEEE International Symposium on Circuits and Systems. 1993. (2713-2716)
-
[文献書誌] T.Matsumoto: "The Minimum Number of Live Structural Traps to Make an Arbitrary Minimal Structural Deadlock Live in General Petri Nets" Proceedings of the IEEE International Symposium on Circuits and Systems. 1993. (2717-2720)
-
[文献書誌] 村田忠夫: "ペトリネットによる並行処理プログラムの解析手法" 情報処理学会誌. 34. 701-709 (1993)
-
[文献書誌] T.Matsumoto: "Fuzzy Petri Nets and Its Application to Fuzzy Reasoning Systems Control" Proceedings of Fifth International Fuzzy Systems Association World Congress. 1993. (1330-1333)
-
[文献書誌] T.Matsumoto: "The Initial-Marking-Besed Necessary and Sufficient Condition for Liveness of Extended Conflict Free Petri Nets" Proceedings of 1993 Joint Technical Conferenece on Circuits/Systems,Computers and Communications. 1993. (312-317)
-
[文献書誌] K.Tsuji: "On Reachability Conditions for Petri Nets Using State Equations" Proceedings of 1993 Joint Technical Conferenece on Circuits/Systems,Computers and Communications. 1993. (324-329)
-
[文献書誌] B.M.Adel: "Systems of Known Choice Processes:a Class of Petri Nets" Proceedings of 1993 Joint Technical Conferenece on Circuits/Systems,Computers and Communications. 1993. (330-335)
-
[文献書誌] T.Matsumoto: "An Equivalence Net-Condition between Place-Liveness and Transition-Liveness of Petri Nets and Their Intial-Marking-Beased Necessary and Sufficient Liveness Conditions" Transactions of the IEICE of Japan. E77-A. 291-301 (1994)