{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:40:01Z","timestamp":1746290401950,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077338"},{"type":"electronic","value":"9783319077345"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_4","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T13:57:34Z","timestamp":1404223054000},"page":"51-70","source":"Crossref","is-referenced-by-count":2,"title":["Soundness of Timed-Arc Workflow Nets"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Antonio","family":"Mateo","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]},{"given":"Mathias Grund","family":"S\u00f8rensen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-36046-6_8","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"M. Andersen","year":"2013","unstructured":"Andersen, M., Gatten Larsen, H., Srba, J., Grund S\u00f8rensen, M., Haahr Taankvist, J.: Verification of liveness properties on closed timed-arc Petri nets. In: Ku\u010dera, A., Henzinger, T.A., Ne\u0161et\u0159il, J., Vojnar, T., Anto\u0161, D. (eds.) MEMICS 2012. LNCS, vol.\u00a07721, pp. 69\u201381. Springer, Heidelberg (2013)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-39088-3_2","volume-title":"Foundations of Health Information Engineering and Systems","author":"C. Bertolini","year":"2013","unstructured":"Bertolini, C., Liu, Z., Srba, J.: Verification of timed healthcare workflows using component timed-arc Petri nets. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol.\u00a07789, pp. 19\u201336. Springer, Heidelberg (2013)"},{"key":"4_CR3","first-page":"1","volume-title":"PSTV 1990","author":"T. Bolognesi","year":"1990","unstructured":"Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: PSTV 1990, pp. 1\u201314. North-Holland, Amsterdam (1990)"},{"doi-asserted-by":"crossref","unstructured":"Christov, S.C., Avrunin, G.S., Clarke, A.L., Osterweil, L.J., Henneman, E.A.: A benchmark for evaluating software engineering techniques for improving medical processes. In: SEHC 2010, pp. 50\u201356. ACM (2010)","key":"4_CR4","DOI":"10.1145\/1809085.1809092"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-642-28756-5_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. David","year":"2012","unstructured":"David, A., Jacobsen, L., Jacobsen, M., J\u00f8rgensen, K.Y., M\u00f8ller, M.H., Srba, J.: TAPAAL 2.0: Integrated development environment for timed-arc Petri nets. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 492\u2013497. Springer, Heidelberg (2012)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with distinct factors. American Journal of Mathematics\u00a035, 413\u2013422 (1913)","journal-title":"American Journal of Mathematics"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/978-3-540-39893-6_26","volume-title":"Formal Methods and Software Engineering","author":"Y. Du","year":"2003","unstructured":"Du, Y., Jiang, C.: Towards a workflow model of real-time cooperative systems. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 452\u2013470. Springer, Heidelberg (2003)"},{"unstructured":"Flender, C., Freytag, T.: Visualizing the soundness of workflow nets. In: AWPN 2006, Department Informatics, University of Hamburg, vol.\u00a0267 (2006)","key":"4_CR8"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets 1993","author":"H.M. Hanisch","year":"1993","unstructured":"Hanisch, H.M.: Analysis of place\/transition nets with timed-arcs and its application to batch process control. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 282\u2013299. Springer, Heidelberg (1993)"},{"doi-asserted-by":"crossref","unstructured":"Ling, S., Schmidt, H.: Time Petri nets for workflow modelling and analysis. In: SMC 2000, vol.\u00a04, pp. 3039\u20133044. IEEE (2000)","key":"4_CR10","DOI":"10.1109\/ICSMC.2000.884464"},{"doi-asserted-by":"crossref","unstructured":"Pelayo, F.L., Cuartero, F., Valero, V., Macia, H., Pelayo, M.L.: Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm. In: MMM 2004, pp. 49\u201356. IEEE (2004)","key":"4_CR11","DOI":"10.1109\/MULMM.2004.1264966"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4204\/EPTCS.108.2","volume":"108","author":"Sven Sieverding","year":"2013","unstructured":"Sieverding, S., Ellen, C., Battram, P.: Sequence diagram test case specification and virtual integration analysis using timed-arc Petri nets. In: FESCA 2013. EPTCS, vol.\u00a0108, pp. 17\u201331 (2013)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Tiplea, F.L., Macovei, G.: Timed workflow nets. In: SYNASC 2005, pp. 361\u2013366. IEEE Computer Society (2005)","key":"4_CR13","DOI":"10.1109\/SYNASC.2005.75"},{"doi-asserted-by":"crossref","unstructured":"Tiplea, F.L., Macovei, G.: E-timed workflow nets. In: SYNASC 2006, pp. 423\u2013429. IEEE Computer Society (2006)","key":"4_CR14","DOI":"10.1109\/SYNASC.2006.33"},{"issue":"4","key":"4_CR15","doi-asserted-by":"publisher","first-page":"924","DOI":"10.1109\/TSMCA.2008.2010304","volume":"39","author":"F.L. Tiplea","year":"2009","unstructured":"Tiplea, F.L., Macovei, G.: Soundness for s- and a-timed workflow nets is undecidable. IEEE Trans. on Systems, Man, and Cybernetics\u00a039(4), 924\u2013932 (2009)","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W.M.P. Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Comp.\u00a023(3), 333\u2013363 (2011)","journal-title":"Formal Aspects of Comp."},{"unstructured":"Valero, V., Cuartero, F., de Frutos-Escrig, D.: On non-decidability of reachability for timed-arc Petri nets. In: PNPM 1999, pp. 188\u2013196. IEEE (1999)","key":"4_CR19"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:13:31Z","timestamp":1746288811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}