{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:13Z","timestamp":1725471253466},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_28","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"388-403","source":"Crossref","is-referenced-by-count":0,"title":["Scenario-Based Timing Consistency Checking for Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Li","family":"Xuandong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bu","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Jianhua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhang","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Guoliang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"ITU-T. Recommendation Z.120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland (May 1996)"},{"key":"28_CR2","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)"},{"issue":"3","key":"28_CR3","doi-asserted-by":"publisher","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 Petri nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR4","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 Chatrs 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":"28_CR5","first-page":"335","volume":"34","author":"W.M.P. Aalst van der","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":"Systems Analysis - Modelling - Simulation"},{"key":"28_CR6","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":"28_CR7","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":"28_CR8","volume-title":"Proceedings of FORTE\/PSTV 1997","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Timing Constraints in Message Sequence Chart Specifications. In: Proceedings of FORTE\/PSTV 1997. Chapman and Hall, Boca Raton (1997)"},{"key":"28_CR9","doi-asserted-by":"publisher","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":"28_CR10","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In: Proc. 10th IEEE Workshop on Real-Time Operating Systems and Software. New York, pp. 122\u2013129 (1993)"},{"key":"28_CR11","unstructured":"Bobbio, A., Horvath, A.: Model Checking Time Petri Nets using NuSMV. In: Proccedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 2001) (2001)"},{"key":"28_CR12","volume-title":"Proceedings of IASTED International Conference on Software Engineering (SE 2005)","author":"A. Furfaro","year":"2005","unstructured":"Furfaro, A., Nigro, L.: Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study. In: Proceedings of IASTED International Conference on Software Engineering (SE 2005). Acta Press, Innsbruck (2005)"},{"issue":"3","key":"28_CR13","first-page":"1","volume":"E99-D","author":"T. Yoneda","year":"1998","unstructured":"Yoneda, T., Ryuba, H.: CTL Model Checking of Time Petri Nets using Geometric Regions. IEICE Trans. INF. & SYST\u00a0E99-D(3), 1\u201311 (1998)","journal-title":"IEICE Trans. INF. & SYST"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking - Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013414. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"28_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal of Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., David, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"28_CR17","first-page":"218","volume-title":"Petri Nets and Performance Models","author":"X. Li","year":"1999","unstructured":"Li, X., Lilius, J.: Checking Time Petri Nets for Linear Duration Properties. In: Bucbolz, P., Silva, M. (eds.) Petri Nets and Performance Models, pp. 218\u2013226. IEEE Computer Society Press, Los Alamitos (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T19:22:04Z","timestamp":1552504924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11888116_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}