Art

J-GLOBAL ID：201102233878090939   Reference number：11A1589076

Soundness of workflow nets: classification, decidability, and analysis

ワークフローネットの健全性:分類,決定可能性,解析

Author (9)： AALST W. M. P. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  AALST W. M. P. (Queensland Univ. of Technol., Brisbane, AUS) ,  HEE K. M. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  HOFSTEDE A. H. M. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  HOFSTEDE A. H. M. (Queensland Univ. of Technol., Brisbane, AUS) ,  SIDOROVA N. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  VERBEEK H. M. W. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  VOORHOEVE M. (Eindhoven Univ. of Technol., P.O. Box 513, 5600 MB, Eindhoven, NLD) ,  WYNN M. T. (Queensland Univ. of Technol., Brisbane, AUS)
Material： Formal Aspects of Computing
Volume： 23  Issue： 3  Page： 333-363  Publication year： May. 2011 
JST Material Number： T0973A  ISSN： 0934-5043  Document type： Article
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (5)： ワークフローネット ,  健全性 ,  分類 ,  決定可能性 ,  解析