{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:30:32Z","timestamp":1773192632962,"version":"3.50.1"},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,10]]},"DOI":"10.1016\/s0164-1212(03)00250-4","type":"journal-article","created":{"date-parts":[[2003,12,30]],"date-time":"2003-12-30T12:00:24Z","timestamp":1072785624000},"page":"271-285","source":"Crossref","is-referenced-by-count":59,"title":["Resource constraints analysis of workflow specifications"],"prefix":"10.1016","volume":"73","author":[{"given":"Hongchen","family":"Li","sequence":"first","affiliation":[]},{"given":"Yun","family":"Yang","sequence":"additional","affiliation":[]},{"given":"T.Y.","family":"Chen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0164-1212(03)00250-4_BIB1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","article-title":"The application of petri nets to workflow management","volume":"8","author":"Aalst","year":"1998","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"2","key":"10.1016\/S0164-1212(03)00250-4_BIB2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","article-title":"Modeling and analysis of workflows using petri nets","volume":"10","author":"Adam","year":"1998","journal-title":"Journal of Intelligent Information Systems, Special Issue on Workflow and Process Management"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB3","doi-asserted-by":"crossref","unstructured":"Chan, D., Vonk, J., Sanchez, G., Grefen, P., Apers, P., 1997. A specification language for the WIDE workflow model. In: Proceedings of the 1998 ACM symposium on Applied Computing, Atlanta, USA, pp. 197\u2013199","DOI":"10.1145\/330560.330669"},{"issue":"4","key":"10.1016\/S0164-1212(03)00250-4_BIB4","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1109\/17.895343","article-title":"Temporal representation and reasoning for workflow in engineering design change review","volume":"47","author":"Chinn","year":"2000","journal-title":"IEEE Transactions on Engineering Management"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB5","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C., Ramakrishnan, I., 1998. Logic based modeling and analysis of workflows. In: Proceedings of ACM\/SIGMOD Symposium on Principles of Database Systems (PODS'98), Seattle, WA, USA, pp. 25\u201333","DOI":"10.1145\/275487.275491"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB6","series-title":"Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE'99)","first-page":"286","article-title":"Time constraints in workflow systems","author":"Eder","year":"1999"},{"issue":"5","key":"10.1016\/S0164-1212(03)00250-4_BIB7","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1093\/comjnl\/42.5.349","article-title":"On the complexity of some verification problems in process control specifications","volume":"42","author":"Hofstede","year":"1999","journal-title":"The Computer Journal"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB8","unstructured":"Karamanolis, C., Giannakopoulou, D., Magee, J., Wheater, S., 1999. Modeling and analysis of workflow processes. Technical Report 99\/2, Department of Computing, Imperial College"},{"issue":"3","key":"10.1016\/S0164-1212(03)00250-4_BIB9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1011465626458","article-title":"Performance analytic models and analyses for workflow architectures","volume":"3","author":"Kim","year":"2001","journal-title":"Journal of Information Systems Frontiers"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB10","series-title":"Proceedings of the Australian Database Conference","first-page":"74","article-title":"Dynamic verification of temporal constraints in production workflows","author":"Marjanovic","year":"2000"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB11","doi-asserted-by":"crossref","unstructured":"Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N., 1999. Definition of deadlock patterns for business processes workflow models. In: Proceedings of the 32nd Hawaii International Conference on System Sciences, pp. 1\u201311","DOI":"10.1109\/HICSS.1999.772966"},{"issue":"2","key":"10.1016\/S0164-1212(03)00250-4_BIB12","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","article-title":"Analysing process models using graph reduction techniques","volume":"25","author":"Sadiq","year":"2000","journal-title":"Information Systems"},{"issue":"1","key":"10.1016\/S0164-1212(03)00250-4_BIB13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/507234.507236","article-title":"Atomicity and isolation for transactional processes","volume":"27","author":"Schuldt","year":"2002","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB14","unstructured":"Singh, M.P., 1997. Formal aspects of workflow management, Part 1: Semantics. Technical Report, Department of Computer Science, North Carolina State University"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB15","doi-asserted-by":"crossref","unstructured":"Tarumi, H., Matsuyama, T., Kamabayashi, Y., 1999. Evolution of business processes and a process simulation tool. In: Proceedings of Asia Pacific Software Engineering Conference (APSEC'99), pp. 180\u2013187","DOI":"10.1109\/APSEC.1999.809600"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB16","unstructured":"WFMC, 1995. Workflow management coalition: the workflow reference model. TC00-1003. Available from <http:\/\/www.wfmc.org>"},{"issue":"3","key":"10.1016\/S0164-1212(03)00250-4_BIB17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/3468.759269","article-title":"On temporal logic programming using petri nets","volume":"29","author":"Zaidi","year":"1999","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"key":"10.1016\/S0164-1212(03)00250-4_BIB18","doi-asserted-by":"crossref","unstructured":"Zhao, J., Stohr, E., 1999. Temporal workflow management in a claim handling system. In: Proceedings of Work Activities Coordination and Collaboration (WACC'99), San Francisco, CA, USA, pp. 187\u2013195","DOI":"10.1145\/295665.295687"},{"issue":"3","key":"10.1016\/S0164-1212(03)00250-4_BIB19","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0164-1212(00)00073-X","article-title":"A timed workflow process model","volume":"55","author":"Zhuge","year":"2001","journal-title":"The Journal of Systems and Software"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203002504?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203002504?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T12:30:37Z","timestamp":1585398637000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203002504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["S0164121203002504"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00250-4","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}