Tsuji Kohkichi | Faculty Of Engineering Fukui University

スポンサーリンク

概要

• 同名の論文著者
• Faculty Of Engineering Fukui Universityの論文著者

関連著者

• Tsuji Kohkichi

  Faculty Of Engineering Fukui University

• OHTA Atsushi

  Faculty of Engineering, Kansai University

• Matsumoto Tadashi

  Faculty Of Engineering Fukui University

• Ohta A

  Aichi Prefectural Univ. Aichi‐ken Jpn

• TSUJI Kohkichi

  Faculty of Information Science and Technology, Aichi Prefectural University

• HISAMURA Tomiji

  School of Science and Engineering, Waseda University

• Tsuji K

  Aichi Prefectural Univ. Aichi‐ken Jpn

• Tsuji K

  Fukui Univ. Fukui‐shi Jpn

• Tsuji Kohkichi

  Aichi Prefectural Univ. Aichi Jpn

• Hisamura T

  School Of Science And Engineering Waseda University

• Hisamura Tomiji

  School Of Science And Engineering Waseda University

• MATSUMOTO Tadashi

  Faculty of Engineering, Fukui University

• Suzuki H

  Ntt Docomo Inc. Yokosuka‐shi Jpn

• Tsuji Kohkichi

  Faculty Of Information Science And Technology Aichi Prefectural University

• Saikusa Ken

  Faculty of Engineering, Fukui University

• Suzuki Hiroto

  INS Engineering Corporation

• Araki Tetsuo

  Faculty of Engineering, Fukui University

• Takahashi Osamu

  NTT Network Information Systems Laboratories

• Yoshitake Shizuo

  NTT Software Corporation

• Saikusa Ken

  Faculty Of Engineering Fukui University

• Araki Tetsuo

  Faculty Of Engineering Fukui University

• Ohta Atsushi

  Fac. Of Information Sci. And Technol. Aichi Prefectural Univ.

もっと見る 閉じる

著作論文

• On Liveness of Extended Partially Ordered Condition Nets (Special Section on Concurrent Systems Technology)
• Necessary and Sufficient Condition of Structural Liveness for General Petri Nets : Virtual Deadlock-Trap Properties
• A Method to Validate the Correctness of Test Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets (Special Section on Net Theory and Its Applications)
• Computational Complexity of Liveness Problem of Normal Petri Net
• An Equivalence Net-Condition between Place-Liveness and Transition-Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
• Verifying Structurally Weakly Persistent Net Is Co-NP Complete

スポンサーリンク