{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T00:20:33Z","timestamp":1759882833107,"version":"build-2065373602"},"reference-count":26,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100002541","name":"Pohang University of Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002541","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["European Journal of Operational Research"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s0377-2217(01)00026-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:16:31Z","timestamp":1027584991000},"page":"383-402","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"title":["Task net: Transactional workflow model based on colored Petri net"],"prefix":"10.1016","volume":"136","author":[{"given":"Injun","family":"Choi","sequence":"first","affiliation":[]},{"given":"Chulsoon","family":"Park","sequence":"additional","affiliation":[]},{"given":"Changwoo","family":"Lee","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0377-2217(01)00026-1_BIB1","doi-asserted-by":"crossref","DOI":"10.1142\/S0218126698000043","article-title":"The application of Petri nets to workflow management","volume":"8","author":"van der Aalst","year":"1998","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB2","unstructured":"G. Alonso, M. Kamath, D. Agrawal, A. El Abbadi, R. Gunthor, C. Mohan, Failure handling in large scale workflow management systems, Research Report, RJ9913, IBM Almaden Research Center, November 1994"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB3","unstructured":"P. Attie, M. Singh, A. Sheth, M. Rusinkiewicz, Specifying and enforcing intertask dependencies, in: Proceedings of the 19th International Conference on Very Large Databases, Dublin, 1993, pp. 134\u201345"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB4","doi-asserted-by":"crossref","unstructured":"A. Biliris, S. Dar, N. Gehani, H.V. Jagadish, K. Ramamritham, ASSET: A system for supporting extended transactions, in: Proceedings of the 1994 SIGMOD International Conference on Management of Data, Minneapolis, May 1994, pp. 44\u201354","DOI":"10.1145\/191839.191848"},{"issue":"3","key":"10.1016\/S0377-2217(01)00026-1_BIB5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/163090.163095","article-title":"Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows","volume":"22","author":"Breitbart","year":"1993","journal-title":"ACM SIGMOD Record"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB6","doi-asserted-by":"crossref","unstructured":"P. Chrysanthis, K. Ramamritham, ACTA: A framework for specifying and reasoning about transaction structure and behavior, in: Proceedings of the ACM SIGMOD conference on Management of Data, Atlantic City, NJ, May 1990, pp. 194\u2013203","DOI":"10.1145\/93597.98729"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB7","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1145\/266838.267342","article-title":"Flexible specification of workflow compensation scopes","author":"Du","year":"1997","journal-title":"ACM SIGGROUP"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB8","unstructured":"U. Dayal, M. Hsu, R. Ladin, A transactional model for long-running activities, in: Proceedings of the 17th International Conference on Very Large Databases, Barcelona, 1991, pp. 113\u2013122"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB9","doi-asserted-by":"crossref","unstructured":"D. Georgakopoulos, M. Hornick, P. Krychniak, F. Manola, Specification and management of extended transactions in a programmable transaction environment, in: Proceedings of the IEEE 10th International Conference on Data Engineering, Houston, TX, 1994, pp. 462\u2013473","DOI":"10.1109\/ICDE.1994.283069"},{"issue":"2","key":"10.1016\/S0377-2217(01)00026-1_BIB10","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","article-title":"An overview of workflow management: From process modeling to workflow automation infrastructure","volume":"3","author":"Georgakopoulos","year":"1995","journal-title":"Distributed and Parallel Databases"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB11","doi-asserted-by":"crossref","unstructured":"H. Garcia-Molina, K. Salem, SAGAS, Procs. 1987 ACM SIGMOD International Conference on Management of Data, San Francisco, May 1987, pp. 249\u2013259","DOI":"10.1145\/38713.38742"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB12","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis, Methods and Practical Use, vol. 1, Springer, Berlin, 1996","DOI":"10.1007\/978-3-662-03241-1_1"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB13","unstructured":"M. Kamath, Improving correctness and failures handling in workflow management system, Ph.D. Thesis, Department of Computer Science, University of Massachusetts, Amherst, 1998"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB14","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1088\/0967-1846\/3\/4\/002","article-title":"Correctness issues in workflow management","volume":"3","author":"Kamath","year":"1996","journal-title":"Distributed Systems Engineering"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB15","unstructured":"M. Kamath, K. Ramamritham, Failure handling and coordinated execution of concurrent workflows, in: Proceedings of the 14th International Conference on Data Engineering, Orlando, FL, February 1998"},{"issue":"1","key":"10.1016\/S0377-2217(01)00026-1_BIB16","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/209891.209901","article-title":"Exotica: A project on advanced transaction management and workflow systems","volume":"16","author":"Mohan","year":"1995","journal-title":"ACM SIGOIS Bulletin"},{"issue":"1","key":"10.1016\/S0377-2217(01)00026-1_BIB17","first-page":"19","article-title":"Exotica: A research perspective on workflow management systems","volume":"18","author":"Mohan","year":"1995","journal-title":"Bulletin of the IEEE Technical Committee on Data Engineering"},{"issue":"4","key":"10.1016\/S0377-2217(01)00026-1_BIB18","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1016\/S0360-8352(98)00100-4","article-title":"Petri net modeling and design of task oriented messaging system for robot control","volume":"34","author":"Mo","year":"1998","journal-title":"Computers and Industrial Engineering"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB19","unstructured":"C.A. Petri, Kommunikation mit automaten, Ph.D. thesis, Institut fur instrumentelle Mathematik, Bonn, 1962"},{"issue":"1\u20134","key":"10.1016\/S0377-2217(01)00026-1_BIB20","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/0360-8352(94)90344-1","article-title":"Stochastic petri net model of distributed process system with repair and its behavior analysis","volume":"27","author":"Sugasawa","year":"1994","journal-title":"Computers and Industrial Engineering"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB21","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan, Elementary net systems, in: Petri Nets: Central Models and Their Properties, Springer, Berlin, September 1986","DOI":"10.1007\/978-3-540-47919-2_3"},{"issue":"1","key":"10.1016\/S0377-2217(01)00026-1_BIB22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1142\/S0218843098000039","article-title":"Enforcement of inter-task dependencies in workflows, characterization and paradigm","volume":"7","author":"Tang","year":"1998","journal-title":"International Journal of Cooperative Information Systems"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB23","unstructured":"WfMC, Workflow Management Coalition \u2013 Terminology & Glossary, http:\/\/www.aiim.org\/wfmc\/standards\/docs\/glossy3.html, WFMC-TC-1011, 1999"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB24","unstructured":"WfMC, Interface 1: Process Definition Interchange Process Model, http:\/\/www.aiim.org\/wfmc\/standards\/docs\/if19910v11.pdf, WfMC-TC-1016-P, 1999"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB25","series-title":"Advanced Transaction Models and Architectures","first-page":"3","article-title":"Transactions in transactional workflows","author":"Worah","year":"1997"},{"key":"10.1016\/S0377-2217(01)00026-1_BIB26","unstructured":"D. Worah, A. Sheth, K. Kochut, J. Miller, An error handling framework for ORBWork workflow enactment service of meteor, Technical Report, LSDIS Laboratory, Department of Computer Science, University of Georgia, July 1997"}],"container-title":["European Journal of Operational Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377221701000261?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377221701000261?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T11:53:28Z","timestamp":1759838008000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0377221701000261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0377221701000261"],"URL":"https:\/\/doi.org\/10.1016\/s0377-2217(01)00026-1","relation":{},"ISSN":["0377-2217"],"issn-type":[{"type":"print","value":"0377-2217"}],"subject":[],"published":{"date-parts":[[2002,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Task net: Transactional workflow model based on colored Petri net","name":"articletitle","label":"Article Title"},{"value":"European Journal of Operational Research","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0377-2217(01)00026-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Elsevier Science B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}