{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:24Z","timestamp":1775053104160,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Programming and Computer Software"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1011094609718","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T03:38:49Z","timestamp":1040614729000},"page":"58-68","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets"],"prefix":"10.1007","volume":"27","author":[{"given":"V. A.","family":"Nepomniaschy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. I.","family":"Alekseev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Bystrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. P.","family":"Myl'nikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. V.","family":"Okunishnikova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. A.","family":"Chubarev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. G.","family":"Churina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"302921_CR1","unstructured":"Alekseev, G.I., Bystrov, A.V., Kurtov, S.A., et al., Use of Petri Nets for Verification of Estelle-Represented Distributed Systems, Izv. Ross. Akad. Nauk, Teor. Sist. Upr., 1999, no. 5, pp. 105-116."},{"key":"302921_CR2","volume-title":"Opisanie i realizatsiya protokolov setei EVM","author":"S.S. Zaitsev","year":"1989","unstructured":"Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Description and Implementation of Computer Communication Protocols), Moscow: Nauka, 1989."},{"key":"302921_CR3","volume-title":"Seti Petri","author":"V.E. Kotov","year":"1984","unstructured":"Kotov, V.E., Seti Petri (Petri Nets), Moscow: Nauka, 1984."},{"key":"302921_CR4","unstructured":"Nepomniaschy, V.A. et al., Verifikatsiya Estelle-spetsi-fikatsii raspredelennykh sistem posredstvom raskrashennykh setei Petri (Verification of Estelle Specifications of Distributed Systems by Means of Colored Petri Nets), Novosibirsk, 1998."},{"key":"302921_CR5","unstructured":"Okunishnikova, E.V., Modeling of Dynamic Estelle Constructs by Means of Colored Petri Nets, Preprint of Ershov Inst. of Information Systems, Siberian Division, Russ. Acad. Sci., Novosibirsk, 2000, no. 78."},{"key":"302921_CR6","unstructured":"Alekseev, G.I. et al., Petri-Net Based Environment for the Specification, Analysis and Simulation of Concurrent Systems, in Specification, Verification and Net Models of Concurrent Systems, Novosibirsk, 1994, pp. 116-127."},{"issue":"3","key":"302921_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B. and Diaz, M., Modelling and Verification of Time Dependant Systems Using Time Petri Nets, IEEE Trans. Software Eng., 1991, vol. 17, no. 3, pp. 259-273.","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"302921_CR8","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G. Bucci","year":"1995","unstructured":"Bucci, G. and Vicario, E., Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets, IEEE Trans. Software Eng., 1995, vol. 21, no. 12, pp. 969-991.","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"302921_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1988","unstructured":"Budkowski, S. and Dembinski, P., An Introduction to Estelle: A Specification Language for Distributed Systems, Comput. Networks ISDN Systems, 1988, vol. 14, no. 1, pp. 3-23.","journal-title":"Comput. Networks ISDN Systems"},{"key":"302921_CR10","unstructured":"Churina, T.G. and Okunishnikova, E.V., Coloured Petri Nets Approach to the Validation of Estelle Specifications, Proc. of Workshop on Concurrency, Specification and Programming, Warsaw, Poland, 1997, pp. 25-36."},{"issue":"11","key":"302921_CR11","doi-asserted-by":"crossref","first-page":"1616","DOI":"10.1109\/26.111443","volume":"39","author":"R. Cohen","year":"1991","unstructured":"Cohen, R. and Segall, A., An Efficient Reliable Ring Protocol, IEEE Trans. Commun., 1991, vol. 39, no. 11, pp. 1616-1624.","journal-title":"IEEE Trans. Commun."},{"key":"302921_CR12","unstructured":"Dembinski, P., http:\/\/www.ipipan.waw.pl\/piotrd\/estellespec\/ abra_prot.stl."},{"key":"302921_CR13","first-page":"953","volume-title":"Research into Networks and Distributed Applications","author":"V. Dimitrov","year":"1988","unstructured":"Dimitrov, V. and Petkov, A., Verification Oriented Estelle Specification of Communication Protocols, in Research into Networks and Distributed Applications, Amsterdam: North-Holland, 1988, pp. 953-960."},{"key":"302921_CR14","first-page":"74","volume-title":"Proc. Int. Conf. TACAS'99, Lecture Notes in Computer Science","author":"Y. Dong","year":"1999","unstructured":"Dong, Y. et al., Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools, Proc. Int. Conf. TACAS'99, Lecture Notes in Computer Science, vol. 1579, Berlin: Springer, 1999, pp. 74-88."},{"key":"302921_CR15","volume-title":"SDL with Applications from Protocol Specification","author":"B. Ferenc","year":"1991","unstructured":"Ferenc, B., Hogrefe, D., and Sarma, A., SDL with Applications from Protocol Specification, Englewood Cliffs: Prentice Hall, 1991."},{"key":"302921_CR16","unstructured":"Fisher, J. and Dimitrov, E., Verification of SDL'92 Specifications Using Extended Petri Nets, Proc. IFIP Fifteenth Int. Conf. on Protocol Specification, Testing and Verification, Warsaw, 1995, pp. 455-458."},{"key":"302921_CR17","unstructured":"Information Processing Systems-Open Systems Interaction-ESTELLE: A Formal Description Technique Based on an Extended State Transition Model: International Standard, 1989, ISO 9074."},{"key":"302921_CR18","volume-title":"Basic Concepts","author":"K. Jensen","year":"1996","unstructured":"Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1: Basic Concepts, Berlin: Springer, 1996."},{"key":"302921_CR19","volume-title":"Analysis Methods","author":"K. Jensen","year":"1996","unstructured":"Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 2: Analysis Methods, Berlin: Springer, 1996."},{"key":"302921_CR20","volume-title":"Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 3: Practical Use, Berlin: Springer, 1997."},{"key":"302921_CR21","first-page":"48","volume-title":"Lecture Notes in Computer Science","author":"R. Kaivola","year":"1997","unstructured":"Kaivola, R., Using Compositional Preorders in the Veri-fication of Sliding Window Protocol, Lecture Notes in Computer Science, vol. 1254, Berlin: Springer, 1997, pp. 48-59."},{"issue":"2","key":"302921_CR22","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., and Jensen, K., The Practitioner's Guide to Coloured Petri Nets, Int. J. Software Tools Techn. Transfer, 1998, vol. 2, no. 2, pp. 98-132.","journal-title":"Int. J. Software Tools Techn. Transfer"},{"issue":"1","key":"302921_CR23","first-page":"15","volume":"11","author":"R. Lai","year":"1996","unstructured":"Lai, R. and Jirachiefpattana, A., Verifying Estelle Protocol Specifications Using Numerical Petri Nets, Comput. Syst. Sci. Eng., 1996, vol. 11, no. 1, pp. 15-33.","journal-title":"Comput. Syst. Sci. Eng."},{"key":"302921_CR24","first-page":"94","volume-title":"Proc. 3rd Int. Conf. Parallel Computing Technologies, Lecture Notes in Computer Science","author":"V.A. Nepomniaschy","year":"1995","unstructured":"Nepomniaschy, V.A. et al., Petri Net Modelling of Estelle-Specified Communication Protocols, Proc. 3rd Int. Conf. Parallel Computing Technologies, Lecture Notes in Computer Science, vol. 964, Berlin: Springer, 1995, pp. 94-108."},{"key":"302921_CR25","unstructured":"Nepomniaschy, V.A. et al., EPV-Petri Net Based Estelle Protocol Verifier, Proc. 1st Int. Workshop on the Formal Description Technique Estelle, Evry, France, 1998, pp. 101-108."},{"key":"302921_CR26","unstructured":"Richier, J.L., Rodriguez, C., Sifakis, J., and Voiron, J., Verification in XESAR of the Sliding Window Protocol, Proc. 7th IFIP Int. Symp. on Protocol Specification, Testing and Verification, 1987, pp. 235-248."},{"issue":"2","key":"302921_CR27","first-page":"99","volume":"1","author":"N.V. Stenning","year":"1976","unstructured":"Stenning, N.V., A Data Transfer Protocol, Comput. Networks, 1976, vol. 1, no. 2, pp. 99-110.","journal-title":"Comput. Networks"},{"issue":"11","key":"302921_CR28","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1002\/(SICI)1097-024X(199809)28:11<1185::AID-SPE197>3.0.CO;2-P","volume":"28","author":"T. Tsang","year":"1998","unstructured":"Tsang, T. and Lai, R., Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle, Software Practice Experience, 1998, vol. 28, no. 11, pp. 1185-1211.","journal-title":"Software Practice Experience"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011094609718.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011094609718","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011094609718.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:52:58Z","timestamp":1775008378000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011094609718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["302921"],"URL":"https:\/\/doi.org\/10.1023\/a:1011094609718","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}