Initial-Marking-Based Liveness Conditions of Subclasses of General Petri Nets

Kohkichi Tsuji ,  Tadashi Matsumoto

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1991 .01

Liveness Preserving Place Deletion in Petri Net

Atsushi Ohta ,  Takuo Hayashi ,  Kohkichi Tsuji

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2003 .07

A Useful Necessary condition and a Simple Sufficient Condition for Liveness of Timed Petri Nets

Tadashi Matsumoto ,  Kohkichi Tsuji

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1990 .01

Checking Liveness in Petri Nets Using Synchronic Variables

Inseon Koh ,  F ,  ank DiCesa 외 1명

대한전자공학회 학술대회

1991 .01

The Initial-Marking-Based Necessary and Sufficient Condition for Liveness of Extended Conflict Free Nets

Tadashi Matsumoto ,  Yasuhiko Tsu ,  uta 외 1명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

A Genetic Algorithm for Minimum Initial Marking Problems of Petri Nets

Koji Hachiman ,  Mo ,  ikazu Nakamu 외 2명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1997 .01

An Application of Behavioral Traps to Liveness Monotonicity of Petri Nets

Atsushi Ohta ,  Kohkichi Tsuji

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

On some analysis problem of extended batch Petri nets

Atsushi Ohta ,  Kohkichi Tsuji

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2009 .07

THE FRAMEWORK FOR THE INITIAL-MARKING-BASED NECESSARY AND SUFFICIENT LIVENESS-CONDITION OF GENERAL PETRI NETS

Tadashi Matsumoto ,  Kohkichi Tsuji

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1992 .01

Systems of Known Choice Processes : A Class of Petri Nets

Ben Mnaoue ,  Adel ,  Tadashi Matsumoto 외 1명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）

한영렬 ,  박문영

한국통신학회지(정보와통신)

1982 .01

Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets

Aydın Ayba ,  Mustafa Çimen

International Journal of Control, Automation, and Systems

2007 .08

Petri net의 구조적 boundedness를 판단하는 방법

윤상호 ,  임재걸

한국정보과학회 학술발표논문집

1993 .04

Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets

Tadao Mu ,  ata

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1996 .01

Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )

김명희 ,  이종근

대한전자공학회 학술대회

1996 .01

Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling

이요섭 ,  박정문 ,  김성열 외 1명

한국정보과학회 학술발표논문집

1991 .04

시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )

이종근

한국통신학회 학술대회논문집

1990 .01

시스템 분석을 위한 Petri net의 축조 연구

이종근

한국통신학회 학술대회논문집

1990 .11

페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석

이우진 ,  차성덕 ,  권용래 외 1명

정보과학회논문지 : 소프트웨어 및 응용

2000 .03