{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:02:33Z","timestamp":1740096153051,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642311307"},{"type":"electronic","value":"9783642311314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31131-4_10","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T18:36:12Z","timestamp":1338921372000},"page":"168-187","source":"Crossref","is-referenced-by-count":4,"title":["Data and Abstraction for Scenario-Based Modeling with Petri Nets"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Fahland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Pr\u00fcfer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127880","volume":"31","author":"L. Amorim","year":"2006","unstructured":"Amorim, L., Maciel, P.R.M., Nogueira Jr., M.N., Barreto, R.S., Tavares, E.: Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201325 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"10_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/FI-2009-147","volume":"95","author":"R. Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Inform.\u00a095(1), 187\u2013217 (2009)","journal-title":"Fundam. Inform."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G.: Checking Properties of Nets Using Transformation. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/j.jal.2005.12.013","volume":"5","author":"Y. Bontemps","year":"2007","unstructured":"Bontemps, Y., Schobbens, P.Y.: The computational complexity of scenario-based agent verification and design. Journal of Applied Logic\u00a05(2), 252\u2013276 (2007)","journal-title":"Journal of Applied Logic"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bowles, J., Meedeniya, D.: Formal transformation from sequence diagrams to coloured petri nets. In: Han, J., Thu, T.D. (eds.) APSEC, pp. 216\u2013225. IEEE Computer Society (2010)","DOI":"10.1109\/APSEC.2010.33"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des.\u00a019(1), 45\u201380 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"10_CR7","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.) ACPN 2003. LNCS, vol.\u00a03098, pp. 413\u2013438. Springer, Heidelberg (2004)"},{"issue":"5","key":"10_CR8","first-page":"291","volume":"15","author":"J. Desel","year":"2000","unstructured":"Desel, J., Erwin, T.: Hybrid specifications: looking at workflows from a run-time perspective. Computer Systems Science and Engineering\u00a015(5), 291\u2013302 (2000)","journal-title":"Computer Systems Science and Engineering"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Desel, J.: Validation of process models by construction of process nets. In: Business Process Management, pp. 110\u2013128 (2000)","DOI":"10.1007\/3-540-45594-9_8"},{"key":"10_CR10","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking. Springer (2008)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-02424-5_14","volume-title":"Applications and Theory of Petri Nets","author":"D. Fahland","year":"2009","unstructured":"Fahland, D.: Oclets \u2013 Scenario-Based Modeling with Petri Nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 223\u2013242. Springer, Heidelberg (2009)"},{"key":"10_CR12","unstructured":"Fahland, D.: From Scenarios To Components. Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin (2010), http:\/\/repository.tue.nl\/685341"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Fahland, D., Pr\u00fcfer, R.: Data and Abstraction for Scenario-Based Modeling with Petri Nets. Technical Report 12-07, Eindhoven University of Technology (2012)","DOI":"10.1007\/978-3-642-31131-4_10"},{"key":"10_CR14","unstructured":"Fahland, D., Weidlich, M.: Scenario-based process modeling with Greta. In: BPM Demos 2010. CEUR-WS.org, vol.\u00a0615, pp. 52\u201357 (2010)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Fernandes, J.M., Tjell, S., J\u00f8rgensen, J.B.: Requirements engineering for reactive systems with coloured petri nets: the gas pump controller example. In: Jensen, K. (ed.) 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus (October 2007)","DOI":"10.1109\/ASPEC.2007.15"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/SCESM.2007.1","volume-title":"Proceedings of the Sixth International Workshop on Scenarios and State Machines, SCESM 2007","author":"J.M. Fernandes","year":"2007","unstructured":"Fernandes, J.M., Tjell, S., J\u00f8rgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net. In: Proceedings of the Sixth International Workshop on Scenarios and State Machines, SCESM 2007, p. 2. IEEE Computer Society, Washington, DC (2007), http:\/\/dx.doi.org\/10.1109\/SCESM.2007.1"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-24727-2_15","volume-title":"Foundations of Software Science and Computation Structures","author":"B. Genest","year":"2004","unstructured":"Genest, B., Minea, M., Muscholl, A., Peled, D.A.: Specifying and Verifying Partial Order Properties Using Template MSCs. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 195\u2013210. Springer, Heidelberg (2004)"},{"issue":"4\/5","key":"10_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf.\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44674-5_1","volume-title":"Implementation and Application of Automata","author":"D. Harel","year":"2001","unstructured":"Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. In: Yu, S., P\u0103un, A. (eds.) CIAA 2000. LNCS, vol.\u00a02088, pp. 1\u201333. Springer, Heidelberg (2001)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-Out of Behavioral Requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 378\u2013398. Springer, Heidelberg (2002)"},{"key":"10_CR21","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-Verlag New York, Inc., Secaucus (2003)"},{"issue":"3","key":"10_CR22","first-page":"387","volume":"88","author":"K.M. Hee van","year":"2008","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., van der Aalst, W.M.P.: Working with the past: Integrating history in petri nets. Fundam. Inform.\u00a088(3), 387\u2013409 (2008)","journal-title":"Fundam. Inform."},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D. Heimbold","year":"1985","unstructured":"Heimbold, D., Luckham, D.: Debugging Ada Tasking Programs. IEEE Softw.\u00a02, 47\u201357 (1985)","journal-title":"IEEE Softw."},{"issue":"4","key":"10_CR24","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S0960129501003589","volume":"12","author":"L. H\u00e9lou\u00ebt","year":"2002","unstructured":"H\u00e9lou\u00ebt, L., Jard, C., Caillaud, B.: An event structure based semantics for high-level message sequence charts. Math. Structures in Comp. Sci.\u00a012(4), 377\u2013402 (2002)","journal-title":"Math. Structures in Comp. Sci."},{"key":"10_CR25","unstructured":"Heymer, S.: A semantics for msc based on petri net components. In: Sherratt, E. (ed.) SAM. VERIMAG, IRISA, SDL Forum (2000)"},{"key":"10_CR26","unstructured":"ITU-T: Message Sequence Chart (MSC). Recommendation Z.120, International Telecommunication Union, Geneva (2004)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"10_CR28","unstructured":"Khadka, B., Mikolajczak, B.: Transformation from live sequence charts to colored petri nets. In: Wainer, G.A. (ed.) SCSC, pp. 673\u2013680. Simulation Councils, Inc. (2007)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-40022-6_10","volume-title":"Petri Net Technology for Communication-Based Systems","author":"O. Kluge","year":"2003","unstructured":"Kluge, O.: Modelling a Railway Crossing with Message Sequence charts and Petri Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 197\u2013218. Springer, Heidelberg (2003)"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"S. Mauw","year":"1994","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal\u00a037, 269\u2013277 (1994)","journal-title":"The Computer Journal"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-45187-7_20","volume-title":"CONCUR 2003 - Concurrency Theory","author":"M. Mukund","year":"2003","unstructured":"Mukund, M., Narayan Kumar, K., Thiagarajan, P.S.: Netcharts: Bridging the Gap between HMSCs and Executable Specifications. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 296\u2013310. Springer, Heidelberg (2003)"},{"issue":"1","key":"10_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri Nets and Algebraic Specifications. Theor. Comput. Sci.\u00a080(1), 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Elements of distributed algorithms: modeling and analysis with Petri nets. Springer (1998)","DOI":"10.1007\/978-3-662-03687-7"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-45242-3_29","volume-title":"Object-Oriented Information Systems","author":"S. Ren","year":"2003","unstructured":"Ren, S., Rui, K., Butler, G.: Refactoring the Scenario Specification: A Message Sequence Chart Approach. In: Masood, A., L\u00e9onard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol.\u00a02817, pp. 294\u2013298. Springer, Heidelberg (2003)"},{"issue":"8","key":"10_CR35","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1109\/TSE.2006.82","volume":"32","author":"B. Sengupta","year":"2006","unstructured":"Sengupta, B., Cleaveland, R.: Triggered message sequence charts. IEEE Trans. Software Eng.\u00a032(8), 587\u2013607 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR36","unstructured":"Sgroi, M., Kondratyev, A., Watanabe, Y., Lavagno, L., Sangiovanni-Vincentelli, A.: Synthesis of petri nets from message sequence charts specifications for protocol design. In: DASD 2004 (2004)"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Sibay, G., Uchitel, S., Braberman, V.A.: Existential live sequence charts revisited. In: ICSE 2008, pp. 41\u201350. ACM (2008)","DOI":"10.1145\/1368088.1368095"},{"key":"10_CR38","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029, 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR39","series-title":"LNCS","doi-asserted-by":"publisher","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)"},{"key":"10_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-21834-7_19","volume-title":"Applications and Theory of Petri Nets","author":"M. Westergaard","year":"2011","unstructured":"Westergaard, M.: Access\/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 328\u2013337. Springer, Heidelberg (2011)"},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11235-010-9323-1","volume":"48","author":"N. Yang","year":"2011","unstructured":"Yang, N., Yu, H., Sun, H., Qian, Z.: Modeling uml sequence diagrams using extended petri nets. Telecommunication Systems\u00a048, 1\u201312 (2011), http:\/\/dx.doi.org\/10.1007\/s11235-011-9424-5 , doi:10.1007\/s11235-011-9424-5","journal-title":"Telecommunication Systems"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31131-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T18:33:43Z","timestamp":1642358023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31131-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311307","9783642311314"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31131-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}