|
| Keyword : boundedness
|
Analysis of Option to Complete, Proper Completion and No Dead Tasks for Acyclic Free Choice Workflow Nets
Shingo YAMAGUCHI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
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 | |
|
|