{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:35Z","timestamp":1725558995202},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_21","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"298-312","source":"Crossref","is-referenced-by-count":3,"title":["Consistency Checking of Concurrent Models for Scenario-Based Specifications"],"prefix":"10.1007","author":[{"given":"Xuandong","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"ITU-T. Recommendation Z.120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland (May 1996)"},{"key":"21_CR2","volume-title":"Petri Nets Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Nets Theory and the Modeling of Systems. Prentice-Hall, N.J (1981)"},{"key":"21_CR3","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)"},{"issue":"3","key":"21_CR4","first-page":"335","volume":"34","author":"W.M.P. Aalst","year":"1999","unstructured":"van der Aalst, W.M.P.: Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets. Systems Analysis - Modelling - Simulation\u00a034(3), 335\u2013367 (1999)","journal-title":"Modelling - Simulation"},{"key":"21_CR5","unstructured":"Rueppel, U., Meissner, U.F., Greb, S.: A Petri Net based Method for Distributed Process Modelling in Structural Engineering. In: Proc. International Conference on Computing in Civil and Building Engineering (2004)"},{"key":"21_CR6","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In: Proc. 10\n                    th\n                   IEEE Workshop on Real-Time Operating Systems and Software, New York, pp. 122\u2013129 (1993)"},{"key":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D.A. Peled","year":"2001","unstructured":"Peled, D.A.: Software Reliability Methods. Springer, Heidelberg (2001)"},{"key":"21_CR8","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An Analyzer for Message Sequence Charts. Software-Concepts and Tools\u00a017, 70\u201377 (1996)","journal-title":"Software-Concepts and Tools"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing\u00a07(5), 473\u2013509 (1995)","DOI":"10.1007\/BF01211629"},{"key":"21_CR10","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"2000","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"21_CR11","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/584369.584376","volume-title":"Proceedings of the third international workshop on Software and performance","author":"S. Bernardi","year":"2002","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Proceedings of the third international workshop on Software and performance, pp. 35\u201345. ACM Press, New York (2002)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. In: Electronic Notes in Theoretical Computer Science, vol.\u00a055(3) (2001)","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"21_CR14","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"21_CR16","unstructured":"Bontemps, Y., Heymans, P.: Turning High-Level Live Sequence Charts into Automata. In: Proceedings of Workshop: Scenarios and State-Machines (2002)"},{"issue":"3","key":"21_CR17","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modelling and verification of time dependent systems using time Petrinets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:44:14Z","timestamp":1619491454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11506843_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}