{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:46Z","timestamp":1725543646983},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_21","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:38:34Z","timestamp":1150799914000},"page":"381-390","source":"Crossref","is-referenced-by-count":8,"title":["Can I Execute My Scenario in Your Net? VipTool Tells You!"],"prefix":"10.1007","author":[{"given":"Robin","family":"Bergenthum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11767589_17","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R. Lorenz","year":"2006","unstructured":"Lorenz, R., Juh\u00e1s, G.: Towards Synthesis of Petri nets from Scenarios. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 302\u2013321. Springer, Heidelberg (2006) (accepted)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/11494744_17","volume-title":"Applications and Theory of Petri Nets 2005","author":"G. Juh\u00e1s","year":"2005","unstructured":"Juh\u00e1s, G., Lorenz, R., Desel, J.: Can I Execute my Scenario in your Net? In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 289\u2013308. Springer, Heidelberg (2005)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-44895-0_26","volume-title":"Business Process Management","author":"J. Desel","year":"2003","unstructured":"Desel, J., Juh\u00e1s, G., Lorenz, R., Neumair, C.: Modeling and Validation with VipTool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 380\u2013389. Springer, Heidelberg (2003)"},{"key":"21_CR4","unstructured":"VipTool-Homepage, http:\/\/www.informatik.ku-eichstaett.de\/projekte\/vip\/"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2000","unstructured":"van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol.\u00a01806. Springer, Heidelberg (2000)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Desel, J.: Validation of Process Models by Construction of Process Nets. In: [5], pp. 110\u2013128","DOI":"10.1007\/3-540-45594-9_8"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-48068-4_2","volume-title":"Application and Theory of Petri Nets 2002","author":"J. Desel","year":"2002","unstructured":"Desel, J.: Model Validation - A Theoretical Issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 23\u201342. Springer, Heidelberg (2002)"},{"key":"21_CR8","unstructured":"Freytag, T.: Softwarevalidierung durch Auswertung von Petrinetz-Abl\u00e4ufen. Dissertation, Karlsruhe (2001)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.4153\/CJM-1956-045-5","volume":"8","author":"L.R. Ford Jr.","year":"1955","unstructured":"Ford Jr., L.R., Fulkerson, D.R.: Maximal Flow Through a Network. Canadian Journal of Mathematics\u00a08, 399\u2013404 (1955)","journal-title":"Canadian Journal of Mathematics"},{"key":"21_CR10","first-page":"434","volume":"15","author":"A.V. Karzanov","year":"1974","unstructured":"Karzanov, A.V.: Determining the Maximal Flow in a Network by the Method of Preflows. Soviet Math. Doc.\u00a015, 434\u2013437 (1974)","journal-title":"Soviet Math. Doc."},{"issue":"5","key":"21_CR11","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1145\/290179.290181","volume":"45","author":"A. Goldberg","year":"1998","unstructured":"Goldberg, A., Rao, S.: Beyond the Flow Decomposition Barrier. Journal of the ACM\u00a045(5), 783\u2013797 (1998)","journal-title":"Journal of the ACM"},{"issue":"2-3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The Non-Sequential Behaviour of Petri Nets. Information and Control\u00a057(2-3), 125\u2013147 (1983)","journal-title":"Information and Control"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Goltz, U., Reisig, W.: Processes of Place\/Transition Nets. LNCS, vol.\u00a0154, pp. 264\u2013277. Springer, Heidelberg (1983)","DOI":"10.1007\/BFb0036914"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Schr\u00f6ter, C., Schwoon, S., Esparza, J.: The Model-Checking Kit. LNCS, vol.\u00a02676, pp. 463\u2013472. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-44919-1_29"},{"key":"21_CR15","unstructured":"http:\/\/theoretica.informatik.uni-oldenburg.de\/~pep\/"},{"key":"21_CR16","unstructured":"http:\/\/www.fmi.uni-stuttgart.de\/szs\/tools\/mckit\/"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D. Harel","year":"2005","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 309\u2013324. Springer, Heidelberg (2005)"},{"key":"21_CR18","unstructured":"http:\/\/www.wisdom.weizmann.ac.il\/~playbook\/"},{"key":"21_CR19","unstructured":"http:\/\/www.inf.uni-konstanz.de\/soft\/tools_en.php?sys=1"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/BFb0054168","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1998","unstructured":"Ben-Abdallah, H., Leue, S.: MESA: Support for Scenario-Based Design of Concurrent Systems. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 118\u2013135. Springer, Heidelberg (1998)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45441-1_24","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Lettrari","year":"2001","unstructured":"Lettrari, M., Klose, J.: Scenario-Based Monitoring and Testing of Real-Time UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 317\u2013328. Springer, Heidelberg (2001)"},{"key":"21_CR22","unstructured":"http:\/\/www.osc-es.de\/products\/en\/testconductor.php"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11495628_13","volume-title":"Scenarios: Models, Transformations and Tools","author":"F. Khendek","year":"2005","unstructured":"Khendek, F., Zhang, X.J.: From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 228\u2013254. Springer, Heidelberg (2005)"},{"issue":"1","key":"21_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0096-0551(01)00018-2","volume":"27","author":"N. Mansurov","year":"2001","unstructured":"Mansurov, N.: Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. Comput. Lang.\u00a027(1), 115\u2013136 (2001)","journal-title":"Comput. Lang."},{"issue":"2","key":"21_CR25","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1011279932612","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Klose, J.: Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. Formal Methods in System Design\u00a019(2), 121\u2013141 (2001)","journal-title":"Formal Methods in System Design"},{"key":"21_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45319-9_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Klose","year":"2001","unstructured":"Klose, J., Wittke, H.: An Automata Based Interpretation of Live Sequence Charts. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 512\u2013527. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:11:27Z","timestamp":1619493087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11767589_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}