Keyword : solvability


State Number Calculation Problem of Workflow Nets
Mohd Anuaruddin BIN AHMADON Shingo YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1128-1136
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Petri net
Keyword: 
Petri netstate number calculation problemprocess treesolvabilitycomputational complexitymodel checking
 Summary | Full Text:PDF