TSUJI Kohkichi 辻孝吉

… Alternative Names

辻孝吉ツジコウキチ

Less

Researcher Number	00197675
Other IDs
Affiliation (based on the past Project Information) *help	2002 – 2004: 愛知県立大学, 情報科学部, 教授 1999 – 2000: 愛知県立大学, 情報科学部, 教授 1995 – 1997: 愛知県立大学, 学長直属, 助教授 1991 – 1993: 福井大学, 工学部, 助手
Review Section/Research Field	Principal Investigator System engineering / 情報システム学(含情報図書館学) / 計測・制御工学 Except Principal Investigator 計測・制御工学
Keywords	Principal Investigator ペトリネット / FA / 制御系列 / デッドロック / CIM / 離散事象システム / QUBIT / GRAPH THEORY / NET THEORY / CONCURRENT SYSTEM … More / DISCRETE EVENT / PETRI NET / AUTONOMOUS DISTRIBUTED SYSTEM / モデル化 / ネット理論 / 並行処理 / 離散事象 / 自律分散 / 並列分散処理 / 生産システム / QUANTUM PETRI NET / 量子ネット / コンカレント / LARGE SCALE / 量子ビット / グラフ理論 / 大規模システム / トラップ / シーケンス制御 … More Except Principal Investigator CIM / Trap / Deadlock / Scheduling / Firing Sequence / Sequence Control / Discrete Event System / Petri net / スケジュ-リング / シ-ケンス制御 / トラップ / デッドロック / スケジューリング / 制御系列 / シーケンス制御 / 離散事象システム / ペトリネット Less

SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE CONCURRENT SYSTEMS BY USING QUANTUM NET MODELPrincipal Investigator
- Principal Investigator
  
  TSUJI Kohkichi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  AICHI PREFECTURAL UNIVERSITY
SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE INFORMATION SYSTEMS BY USING AUTONOMOUS DISTRIBUTED NET MODELPrincipal Investigator
- Principal Investigator
  
  TSUJI Kohkichi
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報システム学(含情報図書館学)
- Research Institution
  AICHI PREFECTURAL UNIVERSITY
ペトリネットモデルを用いた大規模生産システムの系統的解析・設計に関する研究Principal Investigator
- Principal Investigator
  
  辻孝吉
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  Aichi Prefectural University
ペトリネットを用いた大規模生産システムの系統的解析・設計に関する研究Principal Investigator
- Principal Investigator
  
  辻孝吉
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  System engineering
- Research Institution
  Aichi Prefectural University
時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究Principal Investigator
- Principal Investigator
  
  辻孝吉
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計測・制御工学
- Research Institution
  University of Fukui
On Automatic Generation of a Control Sequence on Discrete Event Systems
- Principal Investigator
  
  MATSUMOTO Tadashi
- Project Period (FY)
  1991 – 1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計測・制御工学
- Research Institution
  Fukui University

All 2004 2003 2002

All Journal Article

[Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004
- Author(s)
  Atsushi Ohta, Kohkichi Tsuji
- Journal Title
  
  Proceedings of ITC-CSCC 2004
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Proceedings of 2004 Joint Technical Conference on Circuits/Systems, Computers and Communications 7E3L-3
  
  Pages: 1-4
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] 挙動的トラップのPOCネットの活性の単調性への応用2004
- Author(s)
  太田, 辻
- Journal Title
  
  電子情報通信学会技術報告CST2004-21 104・402
  
  Pages: 1-5
- NAID
  110003300225
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Unfolding of Petri nets with semilinear reachability set2004
- Author(s)
  Atsushi Ohta, Kohkichi Tsuji
- Journal Title
  
  Proc. IEEE ISCAS2004 (in Vancouver) vol.IV
  
  Pages: 501-504
- NAID
  110003299885
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Fourier-Motzkin法を応用したペトリネットのサイフォン生成族の列挙法2004
- Author(s)
  太田, 辻
- Journal Title
  
  SICE第36回離散事象システム研究会講演論文集
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Proceedings of IEEE Midwest Symposium on Circuits and Systems III
  
  Pages: 395-398
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004
- Author(s)
  Atsushi Ohta, Kohkichi Tsuji
- Journal Title
  
  Proc. IEEE MWSCASO4
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Analysis of Petri Nets with Batch Processing Arcs2004
- Author(s)
  Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji
- Journal Title
  
  Proc. SICE Annual Conference in Sapporo
  
  Pages: 517-520
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Analysis of Petri Nets with Batch Processing Arcs2004
- Author(s)
  A.Ohta, C.Kato, K.Tsuji
- Journal Title
  
  Proceedings of SICE Annual Conference
  
  Pages: 517-520
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Unfolding of Petri Nets with Semilinear reachability Set2004
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Proceedings of the IEEE International Symposium on Circuits and Systems IV
  
  Pages: 501-504
- NAID
  110003299885
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] 自動ユニット番号バインディングによる自己組織化空調制御ネットワーク2004
- Author(s)
  蜷川忠三, 溝口正信, 辻孝吉
- Journal Title
  
  電気学会論文誌D 24-D・9
  
  Pages: 938-946
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Insufficiently Marked Siphon of Petiri Nets - Extention of Token-Free Siphon -2003
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Proc. of IEEE International Symposium on Circuits and Systems
  
  Pages: 244-247
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] Insufficiently Marked Siphon of Petiri Nets - Extention of Token-Free Siphon -2003
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Proc. of IEEE International Symposium on Circuits and Systems III
  
  Pages: 244-247
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net2002
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Transactions of the IEICE of Japan Vol.E85-A, No.5
  
  Pages: 1071-1074
- NAID
  110003300202
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14550403
[Journal Article] NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net2002
- Author(s)
  A.Ohta, K.Tsuji
- Journal Title
  
  Transactions of the IEICE of Japan E85-A・5
  
  Pages: 1071-1074
- NAID
  110003300202
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14550403

1. MATSUMOTO Tadashi (40020193)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TSUJI Kohkichi 辻 孝吉

辻 孝吉 ツジ コウキチ

Research Projects

Research Products

Co-Researchers

SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE CONCURRENT SYSTEMS BY USING QUANTUM NET MODELPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE INFORMATION SYSTEMS BY USING AUTONOMOUS DISTRIBUTED NET MODELPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ペトリネットモデルを用いた大規模生産システムの系統的解析・設計に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ペトリネットを用いた大規模生産システムの系統的解析・設計に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Automatic Generation of a Control Sequence on Discrete Event Systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] 挙動的トラップのPOCネットの活性の単調性への応用2004

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Unfolding of Petri nets with semilinear reachability set2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Fourier-Motzkin法を応用したペトリネットのサイフォン生成族の列挙法2004

Author(s)

Journal Title

Data Source

[Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] Analysis of Petri Nets with Batch Processing Arcs2004

Author(s)

Journal Title

Description

TSUJI Kohkichi 辻孝吉

辻孝吉ツジコウキチ