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

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

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

Initial-Marking-Based Liveness on Dissynchronous Choice Petri Nets

Tadashi Matsumoto ,  Takamasa Koido ,  Masahi 외 1명

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

1996 .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

Checking Liveness in Petri Nets Using Synchronic Variables

Inseon Koh ,  F ,  ank DiCesa 외 1명

대한전자공학회 학술대회

1991 .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

Polynomial Time Solvability of Liveness Problem of Siphon Containing Circuit Nets

Atsushi Ohta ,  Kohkichi Tsuji

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

2002 .07

주파수 분석법을 이용한 위조 지문 검출

강래충 ,  최희승 ,  김재희

대한전자공학회 학술대회

2007 .11

A Simplified Necessary and Sufficient Condition for a Net to be an SMA Net

Dong Ik Lee ,  Sadatoshi Kumagai ,  Shinzo Kodama

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

1991 .01

CHECKING LIVENESS IN PETRI NETS USING SYNCHRONIC VARIABLES

Inseon Koh ,  F ,  ank DiCesa 외 1명

제어로봇시스템학회 국내학술대회 논문집

1991 .10

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

Liveness Detection of Fingerprints using Perspiration Patterns in Various Environments

Heeseung Choi ,  Kyoungtaek Choi ,  Jaihie Kim

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

2005 .07

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

영상의 테두리 정보를 이용한 위조 얼굴 검출

김동익 ,  조재익 ,  김재희

대한전자공학회 학술대회

2011 .11

시스템분석을 위한 Petri Nets의 축소방법

이광형 ,  오길록

(구)정보과학회논문지

1986 .04

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

Aybin Ayba ,  Mustafa Çimen

International Journal of Control Automation and Systems

2007 .08

.NET 기술

권순각

한국멀티미디어학회지

2003 .03

초기 마킹 ( Marking ) 과 접속행렬 비교에 의한 페트리 네트의 해석 ( Petri Net Analysis by Comparing Initial Marking with Incidence Matrix )

우광준 ,  류창근

전자공학회논문지-B

1993 .07