Commitability and Integrity Verification of Workflow Specification with Petri Nets
Vol. 7, No. 7, pp. 2028-2040, Jul. 2000
10.3745/KIPSTE.2000.7.7.2028
Abstract
Statistics
|
Cite this article
[IEEE Style]
H. T. Ceong and D. H. Lee, "Commitability and Integrity Verification of Workflow Specification with Petri Nets," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 7, pp. 2028-2040, 2000. DOI: 10.3745/KIPSTE.2000.7.7.2028.
[ACM Style]
Hee Taek Ceong and Do Heon Lee. 2000. Commitability and Integrity Verification of Workflow Specification with Petri Nets. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 7, (2000), 2028-2040. DOI: 10.3745/KIPSTE.2000.7.7.2028.