{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T10:31:11Z","timestamp":1718793071926},"reference-count":45,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T00:00:00Z","timestamp":1254355200000},"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":["Computers & Industrial Engineering"],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1016\/j.cie.2009.03.002","type":"journal-article","created":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T05:24:53Z","timestamp":1236662693000},"page":"874-879","source":"Crossref","is-referenced-by-count":5,"title":["Dwelling time probability density distribution of instances in a workflow model"],"prefix":"10.1016","volume":"57","author":[{"given":"Liu","family":"Sheng","sequence":"first","affiliation":[]},{"given":"Fan","family":"Yushun","sequence":"additional","affiliation":[]},{"given":"Lin","family":"Huiping","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.cie.2009.03.002_bib1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1008656726700","article-title":"Modeling and analysis of workflow using petri nets","volume":"10","author":"Adam","year":"1998","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/j.cie.2009.03.002_bib3","doi-asserted-by":"crossref","unstructured":"Eder, J., Panagos, E., Pozewaunig, H., & Rabinovich, M. (1999). Time management in workflow systems. In Proc. int. conf. business information systems (pp. 266\u2013280).","DOI":"10.1007\/978-1-4471-0875-7_22"},{"key":"10.1016\/j.cie.2009.03.002_bib4","series-title":"Advanced information system engineering","first-page":"286","article-title":"Time constraints in workflow systems","volume":"Vol. 1626","author":"Eder","year":"1999"},{"key":"10.1016\/j.cie.2009.03.002_bib5","series-title":"Fundamentals of workflow management technology","author":"Fan","year":"2001"},{"key":"10.1016\/j.cie.2009.03.002_bib6","unstructured":"Ferscha, A. (1994). Business workflow analysis using generalized stochastic petri nets. In Proc. ninth Austrian-Hungarian informatics conf. (pp. 222\u2013234)."},{"key":"10.1016\/j.cie.2009.03.002_bib7","unstructured":"Ferscha, A. (1994). Qualitative and quantitative analysis of business workflows using generalized stochastic petri nets. In G. Chroust, & A. Benczur (Eds.), Proc. workflow management-challenges, paradigms products Linz, Austria, October 19\u201321 (pp. 222\u2013234)."},{"key":"10.1016\/j.cie.2009.03.002_bib9","doi-asserted-by":"crossref","unstructured":"Gillmann, M., Weissenfels, J., Weikum, G., & Kraiss, A. (2000). Performance and availability assessment for the configuration of distributed workflow management systems. In Conf. extending database technology, Konstanz, Germany.","DOI":"10.1007\/3-540-46439-5_12"},{"key":"10.1016\/j.cie.2009.03.002_bib11","unstructured":"Han, Y., Himmighofer, J., Schaaf, T., & Wikarski, D. (1996). Management of workflow resource to support runtime adaptability and system evolution. In Proceedings of the first international conference on practical aspects knowledge management, Basel, Switzerland, October."},{"issue":"5","key":"10.1016\/j.cie.2009.03.002_bib12","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\/j.cie.2009.03.002_bib13","unstructured":"Hu, J. (2001). Research on adaptive workflow management system to support dynamical BPR. Ph.D. dissertation, Computer Integrated Technol. Lab., Shanghai Jiaotong Univ., Shanghai, China."},{"issue":"November","key":"10.1016\/j.cie.2009.03.002_bib15","first-page":"724","article-title":"Workforce configuration and workflow analysis of an information technology organization: A queueing network approach","volume":"32","author":"Kevin","year":"2002","journal-title":"IEEE Transactions on Systems Man and Cybernetics A"},{"issue":"3","key":"10.1016\/j.cie.2009.03.002_bib16","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1011465626458","article-title":"Performance analytic models and analyzes for workflow architectures","volume":"3","author":"Kim","year":"2001","journal-title":"Information Systems Frontiers"},{"key":"10.1016\/j.cie.2009.03.002_bib17","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TSMCA.2003.811771","article-title":"Timing constraint workflow nets for workflow analysis","volume":"33","author":"Li","year":"2003","journal-title":"IEEE Transactions on Systems Man and Cybernetics"},{"key":"10.1016\/j.cie.2009.03.002_bib18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TSMCA.2003.819490","article-title":"Performance modeling and analysis of workflow","volume":"34","author":"Li","year":"2004","journal-title":"IEEE Transactions on Systems Man and Cybernetics"},{"key":"10.1016\/j.cie.2009.03.002_bib20","unstructured":"Lin, C., Qu, Y., Ren, F. Y., & Marinescu, D. C. (2002). Performance equivalent analysis of workflow systems based on stochastic petri net models. In Lecture notes computer science (Vol. 2480, pp. 64\u201379)."},{"key":"10.1016\/j.cie.2009.03.002_bib21","unstructured":"Marjanovic, Olivera (2000). Dynamic verification of temporal constraints in production workflows. In Australasian database conference (pp. 74\u201381)."},{"key":"10.1016\/j.cie.2009.03.002_bib22","unstructured":"Marjanovic, Olivera, & Orlowska, Maria E. (1999). Time management in dynamic workflows. In CODAS (pp. 138\u2013149)."},{"issue":"2","key":"10.1016\/j.cie.2009.03.002_bib23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","article-title":"On modeling and verification of temporal constraints in production workflows","volume":"1","author":"Marjanovic","year":"1999","journal-title":"Knowledge and Information Systems"},{"key":"10.1016\/j.cie.2009.03.002_bib25","unstructured":"Panagos, E., & Rabinovich, M. (1997). Reducing escalation-related costs in WFMSS. In A. Dogac et al. (Eds.), Proceedings of the NATO advanced study institute workflow management systems interoperability, Istanbul, Turkey, August."},{"key":"10.1016\/j.cie.2009.03.002_bib27","unstructured":"Pozewauning, H., Eder, J., & Liebhart, W. (1997). EPERT: Extending PERT for workflow management systems. In First east Europ. symp. advances database information systems, St. Petersburg, Russia, September."},{"key":"10.1016\/j.cie.2009.03.002_bib28","series-title":"EDICS 2002","first-page":"30","article-title":"Linear temporal inference of workflow management systems based on timed petri nets models","volume":"Vol. 2480","author":"Qu","year":"2002"},{"key":"10.1016\/j.cie.2009.03.002_bib30","unstructured":"Sadiq, Wasim, & Orlowska, Maria E. (1997). On correctness issues in conceptual modelling of workflows. In Proc. fifth European conference on information systems, ECIS\u201997, Cork Ireland."},{"issue":"1\/2","key":"10.1016\/j.cie.2009.03.002_bib31","article-title":"Managing change and time in dynamic workflow processes","volume":"9","author":"Sadiq","year":"2000","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"2","key":"10.1016\/j.cie.2009.03.002_bib32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","article-title":"Analyzing process models using graph reduction techniques","volume":"25","author":"Sadiq","year":"2000","journal-title":"Information Systems"},{"key":"10.1016\/j.cie.2009.03.002_bib33","series-title":"Quality of service in flexible workflows","volume":"Vol. VII","author":"Sadiq","year":"2006"},{"issue":"5","key":"10.1016\/j.cie.2009.03.002_bib34","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","article-title":"Specification and validation of process constraints for flexible workflows","volume":"30","author":"Sadiq","year":"2005","journal-title":"Information Systems Journal"},{"key":"10.1016\/j.cie.2009.03.002_bib35","unstructured":"Sadiq, Shazia, Orlowska, Maria E., Sadiq, Wasim, & Lin, Joe (2005). Quality of service in flexible workflows through process constraints. In The international conference on enterprise information systems 2005, March, USA."},{"key":"10.1016\/j.cie.2009.03.002_bib36","unstructured":"Sadiq, Shazia, Orlowska, Maria E., Sadiq, Wasim, Schulz, Karsten (2005). When workflows will not deliver \u2013 Case contradicting work practice. In BIS\u201905, April, Poznan, Poland."},{"key":"10.1016\/j.cie.2009.03.002_bib37","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1016\/S0377-2217(00)00292-7","article-title":"Petri net-based modeling of workflow systems: An overview","volume":"134","author":"Salimifard","year":"2001","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/j.cie.2009.03.002_bib38","unstructured":"Schomig, A. K., & Rau, H. (1995). A petri net approach for the performance analysis of business process. Univ. Wurzburg, Schloss Dagstuhl, Germany, Rep. 116 Semiar at IBFI."},{"key":"10.1016\/j.cie.2009.03.002_bib39","unstructured":"Sadiq, Shazia, Orlowska, Maria E., Sadiq, Wasim (2005). Role of messaging in collaborative business processes. In IRMA international conference (business process management track), May 15\u201318 2005, San Diego, California, USA."},{"key":"10.1016\/j.cie.2009.03.002_bib40","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0164-1212(01)00039-5","article-title":"Improving the performance of time-constrained workflow processing","volume":"53","author":"Son","year":"2001","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/j.cie.2009.03.002_bib43","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01540160","article-title":"Petri net based scheduling","volume":"18","author":"van der Aalst","year":"1996","journal-title":"OR Spectrum"},{"key":"10.1016\/j.cie.2009.03.002_bib44","series-title":"Information and process integration in enterprise: Rethinking documents","first-page":"161","article-title":"Three good reasons for using a petri-net-based workflow management system","author":"van der Aalst","year":"1998"},{"issue":"1","key":"10.1016\/j.cie.2009.03.002_bib45","doi-asserted-by":"crossref","first-page":"21","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"},{"issue":"2","key":"10.1016\/j.cie.2009.03.002_bib46","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1111\/1467-9574.00139","article-title":"Analysis of discrete-time stochastic petri nets","volume":"54","author":"van der Aalst","year":"2000","journal-title":"Statistica Neerlandica"},{"key":"10.1016\/j.cie.2009.03.002_bib47","first-page":"174","article-title":"Challenges in business process management: Verification of business processes using petri nets","volume":"80","author":"van der Aalst","year":"2003","journal-title":"Bulletin of the EATCS"},{"issue":"2","key":"10.1016\/j.cie.2009.03.002_bib49","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/j.dss.2006.11.005","article-title":"Deadline-based escalation in process-aware information systems","volume":"43","author":"van der Aalst","year":"2007","journal-title":"Decision Support Systems"},{"issue":"1","key":"10.1016\/j.cie.2009.03.002_bib50","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","article-title":"Verification of workflow task structures: A petri-net-based approach","volume":"25","author":"van der Aalst","year":"2000","journal-title":"Information Systems"},{"issue":"1\u20132","key":"10.1016\/j.cie.2009.03.002_bib51","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0166-3615(95)00051-8","article-title":"Business process redesign: A petri-net-based approach","volume":"29","author":"van der Aalst","year":"1996","journal-title":"Computers in Industry"},{"key":"10.1016\/j.cie.2009.03.002_bib52","series-title":"Business process management","first-page":"142","article-title":"Using formal analysis techniques in business process redesign","volume":"Vol. 1806","author":"van Hee","year":"2000"},{"key":"10.1016\/j.cie.2009.03.002_bib53","unstructured":"Workflow Management Coalition (1998). Interface 1: Process defition interchange, process model. Doc. No. WfMC TC-1016-P."},{"issue":"11","key":"10.1016\/j.cie.2009.03.002_bib55","first-page":"2177","article-title":"Performance evaluation on change time of dynamic workflow changes. IEICE transactions on fundamentals of electronics","volume":"E83-A","author":"Yamaguchi","year":"2000","journal-title":"Communications and Computer Sciences"},{"key":"10.1016\/j.cie.2009.03.002_bib57","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":"Journal of Systems and Software"},{"key":"10.1016\/j.cie.2009.03.002_bib58","unstructured":"Zisman, M. D. (1977). Representation, specification and automation of office procedures. Ph.D. dissertation, Univ. Pennsylvania, Philadelphia, Wharton Business."}],"container-title":["Computers & Industrial Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0360835209000874?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0360835209000874?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T11:12:56Z","timestamp":1558177976000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0360835209000874"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["S0360835209000874"],"URL":"https:\/\/doi.org\/10.1016\/j.cie.2009.03.002","relation":{},"ISSN":["0360-8352"],"issn-type":[{"value":"0360-8352","type":"print"}],"subject":[],"published":{"date-parts":[[2009,10]]}}}