{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:36Z","timestamp":1762458936312,"version":"3.38.0"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tsmca.2011.2170412","type":"journal-article","created":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T19:23:26Z","timestamp":1320693806000},"page":"669-684","source":"Crossref","is-referenced-by-count":11,"title":["Quantitative Analysis of Resource-Constrained Business Processes"],"prefix":"10.1109","volume":"42","author":[{"given":"C\u00e9sar Augusto L.","family":"Oliveira","sequence":"first","affiliation":[]},{"given":"Ricardo Massa F.","family":"Lima","sequence":"additional","affiliation":[]},{"given":"Hajo A.","family":"Reijers","sequence":"additional","affiliation":[]},{"given":"Joel Tiago S.","family":"Ribeiro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Cpn Tools Help Pages","year":"2008","key":"ref39"},{"journal-title":"TIBCO Staffware Process Monitor (SPM)","year":"2005","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-008-9092-5"},{"journal-title":"Design and Control of Workflow Processes Business Process Management for the Service Industry","year":"2002","author":"reijers","key":"ref32"},{"journal-title":"Competitive Advantage Creating and Sustaining Superior Performance","year":"1985","author":"porter","key":"ref31"},{"journal-title":"Kommunikation mut automaten","year":"1962","author":"petri","key":"ref30"},{"journal-title":"A Petri net approach for the performance analysis of business processes","year":"1995","author":"schomig","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SCW.2006.33"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2008.09.002"},{"journal-title":"Programming in Standard ML","year":"2005","author":"harper","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041049"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2035303"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2007.65"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21065"},{"journal-title":"Discrete Event Dynamical Systems Analyzing Complexity and Performance in the Modern World","year":"1991","author":"ho","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","author":"jensen","year":"1994","journal-title":"A Decade of Concurrency Reflections and Perspectives REX School\/Symposium"},{"key":"ref15","volume":"2","author":"jensen","year":"1995","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"journal-title":"Lectures on Petri Nets II Applications","year":"1998","author":"jensen","key":"ref16"},{"journal-title":"Business Process Management Practical Guidelines to Successful Implementations","year":"2006","author":"jeston","key":"ref17"},{"key":"ref18","article-title":"Performance and dependability in business process modeling","author":"kreische","year":"2001","journal-title":"Proc 5th Int Workshop PMCCS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.819490"},{"journal-title":"Web service business process execution language (WS-BPEL) version 2 0","year":"2007","key":"ref28"},{"key":"ref4","first-page":"187","article-title":"Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets","author":"bruell","year":"1989","journal-title":"Proc PNPM"},{"journal-title":"Performance analysis of resource-constrained business processes A formal approach based on stochastic Petri nets","year":"2009","author":"oliveira","key":"ref27"},{"journal-title":"Queueing Networks and Markov Chains","year":"2005","author":"bolch","key":"ref3"},{"journal-title":"Workflow management coalition terminology and glossary version 3 0 (WFMC-TC-1011)","year":"1999","key":"ref6"},{"journal-title":"Oracle Business Process Management (BPM)","year":"2009","key":"ref29"},{"journal-title":"WfMC standards The workflow reference model version 1 1","year":"1995","key":"ref5"},{"key":"ref8","first-page":"222","article-title":"Qualitative and quantitative analysis of business workflows using generalized stochastic Petri nets","author":"ferscha","year":"1994","journal-title":"Proc 9th Austrian-Hungarian Conf Workflow Manage Challenges Paradigms Products"},{"key":"ref7","first-page":"632","article-title":"Modeling and performance evaluation of workflow systems","author":"dehnert","year":"2000","journal-title":"Proceedings of the World Multiconference on Systemics Cybernetics and Informatics"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00010-U"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref20","first-page":"1040","article-title":"Generalized stochastic workflow net-based quantitative analysis of business process performance","author":"li","year":"2008","journal-title":"Proc IEEE ICIA"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(02)00099-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"journal-title":"Introduction to BPMN","year":"2006","author":"white","key":"ref42"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"ref24"},{"journal-title":"Workflow management coalition workflow standard Workflow process definition interfaceXML Process Definition Language (XPDL) (WFMC-TC-1025)","year":"2002","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/15326349308807278"},{"key":"ref26","first-page":"251","article-title":"Analysis of resource-constrained processes with colored Petri nets","volume":"576","author":"netjes","year":"2005","journal-title":"Proc 6th Workshop Practical Use Coloured Petri Nets CPN Tools (CPN)"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676110"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6182955\/06071012.pdf?arnumber=6071012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T21:35:08Z","timestamp":1741901708000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6071012\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":43,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2011.2170412","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"type":"print","value":"1083-4427"},{"type":"electronic","value":"1558-2426"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}