{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:36:29Z","timestamp":1773653789218,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540797081","type":"print"},{"value":"9783540797098","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79709-8_36","type":"book-chapter","created":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T14:33:17Z","timestamp":1210689197000},"page":"360-371","source":"Crossref","is-referenced-by-count":2,"title":["Using Coloured Petri Nets to Model and Verify Telecommunications Systems"],"prefix":"10.1007","author":[{"given":"Valery","family":"Nepomniaschy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Beloglazov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana","family":"Churina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Mashukov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/3-540-45075-0_17","volume-title":"SDL 2003: System Design","author":"A. Aalto","year":"2003","unstructured":"Aalto, A., Husberg, N., Varpaaniemi, K.: Automatic formal model generation and analysis of SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 285\u2013299. Springer, Heidelberg (2003)"},{"key":"36_CR2","first-page":"1","volume":"144","author":"M. Mashukov","year":"2007","unstructured":"Mashukov, M., Churina, T.: Modeling SDL-specifications via coloured Petri nets. Institute of Informatics Systems, Russian Academy of Sciences, Novosibirsk\u00a0144, 1\u201370 (preprint, 2007) (in Russian)","journal-title":"Institute of Informatics Systems, Russian Academy of Sciences, Novosibirsk"},{"issue":"11","key":"36_CR3","doi-asserted-by":"publisher","first-page":"1616","DOI":"10.1109\/26.111443","volume":"39","author":"R. Cohen","year":"1991","unstructured":"Cohen, R., Segall, A.: An efficient reliable ring protocol. IEEE Transactions on Communications\u00a039(11), 1616\u20131624 (1991)","journal-title":"IEEE Transactions on Communications"},{"key":"36_CR4","unstructured":"Fisher, J., Dimitrov, E.: Verification of SDL 1992 specifications using extended Petri nets. In: Proc. IFIP 15th Intern. Symp. on Protocol Specification, Testing and Verification, Warsaw, Poland, pp. 455\u2013458 (1995)"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-69108-1_9","volume-title":"Application and Theory of Petri Nets 1998","author":"H. Fleischhack","year":"1998","unstructured":"Fleischhack, H., Grahlmann, B.: A compositional Petri net semantics for SDL. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 144\u2013164. Springer, Heidelberg (1998)"},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/BFb0054167","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Grahlmann","year":"1998","unstructured":"Grahlmann, B.: Combining Finite Automata. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol.\u00a01384, pp. 102\u2013117. Springer, Heidelberg (1998)"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/3-540-48119-2_36","volume-title":"FM\u201999 - Formal Methods","author":"N. Husberg","year":"1999","unstructured":"Husberg, N., Manner, T.: Emma: Developing an Industrial Reachability Analyser for SDL. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 642\u2013661. Springer, Heidelberg (1999)"},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1016\/0169-7552(94)90045-0","volume":"26","author":"K. Imai","year":"1994","unstructured":"Imai, K., Ito, T., Kasahara, H., Morita, N.: ATMR: Asynchronous transfer mode ring protocol. Computer Networks and ISDN Systems\u00a026, 785\u2013798 (1994)","journal-title":"Computer Networks and ISDN Systems"},{"key":"36_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol.\u00a01,2,3. Springer, Heidelberg (1997)"},{"issue":"10","key":"36_CR10","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D.O. Keck","year":"1998","unstructured":"Keck, D.O., Kuehn, P.J.: The feature and service interaction problem in telecommunications systems: a survey. IEEE Trans. on Software Eng.\u00a024(10), 779\u2013796 (1998)","journal-title":"IEEE Trans. on Software Eng."},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/PCEE.2002.1115202","volume-title":"Proc. Intern. Conf. on Parallel Computing in Electrical Engineering","author":"V.E. Kozura","year":"2002","unstructured":"Kozura, V.E., Nepomniaschy, V.A., Novikov, R.M.: Verification of distributed systems modeled by high-level Petri nets. In: Proc. Intern. Conf. on Parallel Computing in Electrical Engineering, Warsaw, Poland, pp. 61\u201366. IEEE Comp. Society, Los Alamitos (2002)"},{"issue":"2","key":"36_CR12","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured Petri nets. Internat. J. Software Tools for Technology Transfer\u00a02(2), 98\u2013132 (1998)","journal-title":"Internat. J. Software Tools for Technology Transfer"},{"key":"36_CR13","unstructured":"Nakamura, M.: Design and evaluation of efficient algorithms for feature interaction detection in telecommunication services. PhD dissertation, Osaka University (January 1999)"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-74510-5_31","volume-title":"Computer Science \u2013 Theory and Applications","author":"V.A. Nepomniaschy","year":"2007","unstructured":"Nepomniaschy, V.A., Alekseev, G.I., Argirov, V.S., Beloglazov, D.M., Bystrov, A.V., Chetvertakov, E.A., Churina, T.G., Mylnikov, S.P., Novikov, R.M.: Application of modified coloured Petri nets to modeling and verification of SDL specified communication protocols. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol.\u00a04649, pp. 303\u2013314. Springer, Heidelberg (2007)"},{"key":"36_CR15","first-page":"79","volume-title":"Proc. 3rd Intern. Conf. on Formal Engineering Methods","author":"H. Peng","year":"2000","unstructured":"Peng, H., Tahar, S., Khendek, F.: SPIN vs. VIS: A case study on the formal verification of the ATMR protocol. In: Proc. 3rd Intern. Conf. on Formal Engineering Methods, pp. 79\u201387. IEEE Comp. Society, Los Alamitos (2000)"},{"key":"36_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for editing, simulating and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"36_CR17","unstructured":"Specification and Description Language (SDL). Recommendation, Z.100, CCITT (1992)"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79709-8_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:28:53Z","timestamp":1619522933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79709-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797081","9783540797098"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79709-8_36","relation":{},"subject":[]}}