| 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 net, workflow net, soundness, liveness, boundedness, | | Summary | Full Text:PDF | |
| |
|
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 system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
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 system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
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 system, Petri net, liveness, computational complexity, | | Summary | Full Text:PDF | |
|
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 net, liveness, siphon, trap, | | Summary | Full Text:PDF | |
| |
| |
|
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 nets, liveness, asymmetric choice nets, behavioral traps, confusion, | | Summary | Full Text:PDF | |
|
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 nets, the earliest furing rule, liveness, reachability, | | Summary | Full Text:PDF | |
| |
| |
|
|