{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:47Z","timestamp":1725543647365},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_17","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:38:34Z","timestamp":1150799914000},"page":"302-321","source":"Crossref","is-referenced-by-count":15,"title":["Towards Synthesis of Petri Nets from Scenarios"],"prefix":"10.1007","author":[{"given":"Robert","family":"Lorenz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11494744_5","volume-title":"Applications and Theory of Petri Nets 2005","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.: Genetic Process Mining. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 48\u201369. Springer, Heidelberg (2005)"},{"issue":"9","key":"17_CR2","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng.\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"issue":"8","key":"17_CR4","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers\u00a047(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Computers"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-27755-2_11","volume-title":"Lectures on Concurrency and Petri Nets","author":"P. Darondeau","year":"2004","unstructured":"Darondeau, P.: Unbounded Petri Net Synthesis. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 413\u2013438. Springer, Heidelberg (2004)"},{"issue":"4","key":"17_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Inf.\u00a033(4), 297\u2013315 (1996)","journal-title":"Acta Inf."},{"issue":"4","key":"17_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. Acta Inf.\u00a027(4), 315\u2013342 (1989)","journal-title":"Acta Inf."},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems. Acta Inf.\u00a027(4), 343\u2013368 (1989)","journal-title":"Acta Inf."},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45139-0_4","volume-title":"Model Checking Software","author":"J. Esparza","year":"2001","unstructured":"Esparza, J., Heljanko, K.: Implementing LTL Model Checking with Net Unfoldings. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 37\u201356. Springer, Heidelberg (2001)"},{"key":"17_CR10","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"},{"issue":"5","key":"17_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":"17_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":"17_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":"17_CR14","first-page":"428","volume":"2","author":"J. Grabowski","year":"1981","unstructured":"Grabowski, J.: On Partial Languages. Fundamenta Informaticae\u00a0IV.2, 428\u2013498 (1981)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR15","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":"17_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1006\/inco.1995.1032","volume":"117","author":"P.W. Hoogers","year":"1995","unstructured":"Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: A trace semantics for Petri nets. Information and Computation\u00a0117(1), 98\u2013114 (1995)","journal-title":"Information and Computation"},{"key":"17_CR18","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":"17_CR19","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."},{"key":"17_CR20","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the Interrelationship between Synchronized and Non-Synchronized Behavior of Petri Nets. Journal Inf. Process. Cybern. EIK\u00a024, 3\u201318 (1988)","journal-title":"Journal Inf. Process. Cybern. EIK"},{"key":"17_CR21","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)"},{"key":"17_CR22","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)"},{"issue":"1","key":"17_CR23","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":"4","key":"17_CR24","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"Mukund, M.: Petri Nets and Step Transition Systems. Int. J. Found. Comput. Sci.\u00a03(4), 443\u2013478 (1992)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"17_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary Transition Systems. Theor. Comput. Sci.\u00a096(1), 3\u201333 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"17_CR26","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/inco.1995.1062","volume":"118","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Transition systems, event structures and unfoldings. Information and Computation\u00a0118(2), 191\u2013207 (1995)","journal-title":"Information and Computation"},{"key":"17_CR27","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modelling Concurrency with Partial Orders. Int. Journal of Parallel Programming\u00a015, 33\u201371 (1986)","journal-title":"Int. Journal of Parallel Programming"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Thiagarajan, P.S., Tran, T., Zvereva, V.A.: Automatic Generation of Protocol Converters from Scenario-Based Specifications. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), pp. 447\u2013458 (2004)","DOI":"10.1109\/REAL.2004.12"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol.\u00a0625. Springer, Heidelberg (1992)"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:11:25Z","timestamp":1619493085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11767589_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}