文献

J-GLOBAL ID：201102233878090939   整理番号：11A1589076

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

Soundness of workflow nets: classification, decidability, and analysis

著者 (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)
資料名： Formal Aspects of Computing  (Formal Aspects of Computing)
巻： 23  号： 3  ページ： 333-363  発行年： 2011年05月 
JST資料番号： T0973A  ISSN： 0934-5043  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： ワークフローネット ,  健全性 ,  分類 ,  決定可能性 ,  解析