{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:27Z","timestamp":1775053107764,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540745099","type":"print"},{"value":"9783540745105","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74510-5_31","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:11:35Z","timestamp":1187694695000},"page":"303-314","source":"Crossref","is-referenced-by-count":2,"title":["Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols"],"prefix":"10.1007","author":[{"given":"Valery A.","family":"Nepomniaschy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gennady I.","family":"Alekseev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor S.","family":"Argirov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitri M.","family":"Beloglazov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander V.","family":"Bystrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene A.","family":"Chetvertakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana G.","family":"Churina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey P.","family":"Mylnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruslan M.","family":"Novikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_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)"},{"issue":"3","key":"31_CR2","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 Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Eng."},{"key":"31_CR3","unstructured":"Churina, T.G., Argirov, V.S.: Modeling SDL specifications using modified HTT-nets. Institute of Informatics Systems, Russian Academy of Sciences, Novosibirsk, Preprint, vol. 124, pp. 1\u201362 (2005) (in Russian)"},{"issue":"11","key":"31_CR4","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":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-49059-0_6","volume-title":"Proc. TACAS\u201999","author":"Y. Dong","year":"1999","unstructured":"Dong, Y., Du, X., Ramakrishna, Y.S, Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Sokolsky, O., Stark, E.W, Warren, D.S.: Fighting livelock in the i-protocol: a comparative study of verification tools. In: ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, pp. 74\u201388. Springer, Heidelberg (1999)"},{"key":"31_CR6","unstructured":"Fisher, J., Dimitrov, E.: Verification of SDL\u201992 specifications using extended Petri nets. In: Proc. IFIP 15th Intern. Symp. on Protocol Specification, Testing and Verification, Warsaw, Poland, pp. 455\u2013458 (1995)"},{"key":"31_CR7","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":"31_CR8","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":"31_CR9","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":"31_CR10","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":"31_CR11","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)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-63166-6_8","volume-title":"Computer Aided Verification","author":"R. Kaivola","year":"1997","unstructured":"Kaivola, R.: Using compositional preorders in the verification of sliding window protocol. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 48\u201359. Springer, Heidelberg (1997)"},{"issue":"10","key":"31_CR13","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":"31_CR14","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 Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"31_CR15","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":"31_CR16","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 Computer Society Press, Los Alamitos (2000)"},{"key":"31_CR17","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":"31_CR18","unstructured":"Specification and Description Language (SDL). Recommendation, Z.100, CCITT (1992)"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri net markup language, Petri Net Technology for Communication Based Systems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 124\u2013144. Springer, Heidelberg (2003)"}],"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-74510-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:21:55Z","timestamp":1619504515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74510-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745099","9783540745105"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74510-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}