Keyword : liveness


Analysis of Option to Complete, Proper Completion and No Dead Tasks for Acyclic Free Choice Workflow Nets
Shingo YAMAGUCHI 
Publication:   
Publication Date: 2019/02/01
Vol. E102-A  No. 2 ; pp. 336-342
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
Petri networkflow netsoundnesslivenessboundedness
 Summary | Full Text:PDF(687.4KB)

The Liveness of WS3PR: Complexity and Decision
GuanJun LIU ChangJun JIANG MengChu ZHOU Atsushi OHTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/08/01
Vol. E96-A  No. 8 ; pp. 1783-1793
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemsPetri netslivenessdeadlockresource allocation
 Summary | Full Text:PDF(1.3MB)

Computational Complexity of Liveness Problem of Normal Petri Net
Atsushi OHTA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11 ; pp. 2717-2722
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
concurrent systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(173.5KB)

NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net
Atsushi OHTA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/05/01
Vol. E85-A  No. 5 ; pp. 1071-1074
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
concurrent systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(263.3KB)

Polynomial Time Decidability of Monotone Liveness of Time Bounded AC/DC Nets
Atsushi OHTA Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11 ; pp. 2865-2870
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
concurrent systemPetri netlivenesscomputational complexity
 Summary | Full Text:PDF(223.4KB)

On Liveness of Extended Partially Ordered Condition Nets
Atsushi OHTA Kohkichi TSUJI Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11 ; pp. 2576-2578
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netlivenesssiphontrap
 Summary | Full Text:PDF(126.3KB)

On Liveness of Time POC Nets with the Static Fair Condition
Atsushi OHTA Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/08/25
Vol. E82-A  No. 8 ; pp. 1648-1655
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
concurrent systemtime Petri netsubclassliveness
 Summary | Full Text:PDF(352.4KB)

Minimum Number of Live Minimal Structural Traps to Make a Minimal Deadlock Locally Live in General Petri Nets
Tadashi MATSUMOTO Ken SAIKUSA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/01/25
Vol. E81-A  No. 1 ; pp. 164-174
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
general Petri netslivenessminimal deadlock (ND)local liveness for NDreal deadlock-trap structure
 Summary | Full Text:PDF(947.2KB)

Necessary and Sufficient Condition for Liveness of Asymmetric Choice Petri Nets
Tadashi MATSUMOTO Yasuhiko TSURUTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/03/25
Vol. E80-A  No. 3 ; pp. 521-533
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Petri netslivenessasymmetric choice netsbehavioral trapsconfusion
 Summary | Full Text:PDF(1MB)

On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule
Atsushi OHTA Tomiji HISAMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1791-1796
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netsthe earliest furing rulelivenessreachability
 Summary | Full Text:PDF(520KB)

An Equivalence Net-Condition between Place-Liveness and Transition -Liveness of Petri Nets and Their Initial-Marking-Based Necessary and Sufficient Liveness Conditions
Tadashi MATSUMOTO Kohkichi TSUJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/01/25
Vol. E77-A  No. 1 ; pp. 291-301
Type of Manuscript:  PAPER
Category: Graphs, Networks and Matroids
Keyword: 
place and transition live Petri netsone-token-condition Petri netslivenesstransition-livenessplace-livenessbehavioral trapsthe minimal models for traps and deadlocks
 Summary | Full Text:PDF(945.9KB)

Structural and Behavioral Analysis of State Machine Allocatable Nets Based on Net Decomposition
Dong-Ik LEE Tadaaki NISHIMURA Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/03/25
Vol. E76-A  No. 3 ; pp. 399-408
Type of Manuscript:  Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Petri netsSMA netsS-decompositionS-componentlivenesssafenessalgorithm
 Summary | Full Text:PDF(838.8KB)