{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:11:51Z","timestamp":1725862311169},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319434247"},{"type":"electronic","value":"9783319434254"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-43425-4_6","type":"book-chapter","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T11:24:52Z","timestamp":1470137092000},"page":"89-104","source":"Crossref","is-referenced-by-count":3,"title":["Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ratul","family":"Saha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,3]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W Aalst Van der","year":"1998","unstructured":"Van der Aalst, W.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"6_CR2","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W Aalst Van der","year":"2004","unstructured":"Van der Aalst, W., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2004)"},{"issue":"2\u20133","key":"6_CR3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.tcs.2007.09.018","volume":"390","author":"S Abbes","year":"2008","unstructured":"Abbes, S., Benveniste, A.: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theoret. Comput. Sci. 390(2\u20133), 129\u2013170 (2008)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-642-00596-1_27","volume-title":"Foundations of Software Science and Computational Structures","author":"S Abbes","year":"2009","unstructured":"Abbes, S., Benveniste, A.: Concurrency, $$\\sigma $$ -algebras, and probabilistic fairness. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 380\u2013394. Springer, Heidelberg (2009)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-45594-9_9","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","author":"J Desel","year":"2000","unstructured":"Desel, J., Erwin, T.: Modeling, simulation and analysis of business processes. In: Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management: Models, Techniques, and Empirical Studies. LNCS, vol. 1806, pp. 129\u2013141. Springer, Heidelberg (2000)"},{"key":"6_CR6","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"2005","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, vol. 40. Cambridge University Press, Cambridge (2005)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-38697-8_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"C Eisentraut","year":"2013","unstructured":"Eisentraut, C., Hermanns, H., Katoen, J.-P., Zhang, L.: A semantics for every GSPN. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 90\u2013109. Springer, Heidelberg (2013)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models: Advances in Petri Nets","author":"J Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems \u2013 an introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 374\u2013428. Springer, Heidelberg (1998)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-662-49665-7_20","volume-title":"Fundamental Approaches to Software Engineering","author":"J Esparza","year":"2016","unstructured":"Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Stevens, P., et al. (eds.) FASE 2016. LNCS, vol. 9633, pp. 342\u2013358. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49665-7_20"},{"key":"6_CR10","unstructured":"Eszarza, J., Hoffmann, P., Saha, R.: Polynomial analysis algorithms for free choice probabilistic workflow nets (2016). arXiv:1606.00175 [cs.LO]"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.is.2013.12.004","volume":"47","author":"C Favre","year":"2015","unstructured":"Favre, C., Fahland, D., V\u00f6lzer, H.: The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47, 197\u2013219 (2015)","journal-title":"Inf. Syst."},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-662-49674-9_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Favre","year":"2016","unstructured":"Favre, C., V\u00f6lzer, H., M\u00fcller, P.: Diagnostic information for control-flow analysis of workflow graphs (a.k.a. Free-Choice workflow nets). In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 463\u2013479. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49674-9_27"},{"key":"6_CR14","series-title":"Graduate Texts in Mathematics","volume-title":"Denumerable Markov Chains: With a Chapter of Markov Random Fields by David Griffeath","author":"JG Kemeny","year":"2012","unstructured":"Kemeny, J.G., Snell, J.L., Knapp, A.W.: Denumerable Markov Chains: With a Chapter of Markov Random Fields by David Griffeath. GTM, vol. 40. Springer Science & Business Media, New York (2012)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-540-75183-0_6","volume-title":"Business Process Management","author":"M Magnani","year":"2007","unstructured":"Magnani, M., Cucci, F.: BPMN: how much does it cost? An incremental approach. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 80\u201387. Springer, Heidelberg (2007)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 278\u2013324. Springer, Heidelberg (1987)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Saeedi, K., Zhao, L., Sampaio, P.R.F.: Extending BPMN for supporting customer-facing service quality requirements. In: ICWS 2010, pp. 616\u2013623. IEEE Computer Society (2010)","DOI":"10.1109\/ICWS.2010.116"},{"key":"6_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-642-21759-3_5","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"P Sampath","year":"2011","unstructured":"Sampath, P., Wirsing, M.: Evaluation of cost based best practices in business processes. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol. 81, pp. 61\u201374. Springer, Heidelberg (2011)"},{"key":"6_CR20","unstructured":"Varacca, D., Nielsen, M.: Probabilistic Petri nets and Mazurkiewicz equivalence. Unpublished Manuscript ( 2003). http:\/\/www.lacl.fr\/~dvaracca\/works.html . Accessed 27 May 2016"},{"issue":"2\u20133","key":"6_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.tcs.2006.01.015","volume":"358","author":"D Varacca","year":"2006","unstructured":"Varacca, D., V\u00f6lzer, H., Winskel, G.: Probabilistic event structures and domains. Theoret. Comput. Sci. 358(2\u20133), 173\u2013199 (2006)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43425-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T15:44:50Z","timestamp":1498319090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43425-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319434247","9783319434254"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43425-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}