{"id":"https://openalex.org/W1555281169","doi":"https://doi.org/10.1007/978-3-540-74510-5_31","title":"Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols","display_name":"Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols","publication_year":2007,"publication_date":"2007-08-21","ids":{"openalex":"https://openalex.org/W1555281169","doi":"https://doi.org/10.1007/978-3-540-74510-5_31","mag":"1555281169"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74510-5_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74510-5_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008518392","display_name":"V. A. Nepomniaschy","orcid":"https://orcid.org/0000-0003-1364-5281"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Valery A. Nepomniaschy","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060364673","display_name":"G. I. Alekseev","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Gennady I. Alekseev","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041041124","display_name":"Victor S. Argirov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Victor S. Argirov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025385165","display_name":"Dmitri M. Beloglazov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Dmitri M. Beloglazov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Alexander V. Bystrov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexander V. Bystrov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035641588","display_name":"Eugene A. Chetvertakov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Eugene A. Chetvertakov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111728798","display_name":"T. G. Churina","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Tatiana G. Churina","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049080280","display_name":"Sergey P. Mylnikov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Sergey P. Mylnikov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026307080","display_name":"Ruslan M. Novikov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Ruslan M. Novikov","raw_affiliation_strings":["A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A.P.Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, 6, Lavrentiev ave., Novosibirsk 630090, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6811,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70563295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"303","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9339392185211182},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8577765226364136},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7046287655830383},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5989475846290588},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.5744656324386597},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5653676390647888},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5317683815956116},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46398237347602844},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4455069303512573},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16801875829696655}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9339392185211182},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8577765226364136},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7046287655830383},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5989475846290588},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.5744656324386597},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5653676390647888},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5317683815956116},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46398237347602844},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4455069303512573},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16801875829696655},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-74510-5_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74510-5_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1491103651","https://openalex.org/W1495360349","https://openalex.org/W1508720389","https://openalex.org/W1534850333","https://openalex.org/W1556566737","https://openalex.org/W1583775158","https://openalex.org/W1786127122","https://openalex.org/W1930138276","https://openalex.org/W2000292387","https://openalex.org/W2009983102","https://openalex.org/W2096895647","https://openalex.org/W2113733577","https://openalex.org/W2114140119","https://openalex.org/W2122233354","https://openalex.org/W2122948231","https://openalex.org/W2124790413","https://openalex.org/W2151612633","https://openalex.org/W2160260781","https://openalex.org/W2170013995","https://openalex.org/W2422272475","https://openalex.org/W2488556700","https://openalex.org/W2488888350","https://openalex.org/W2489834657","https://openalex.org/W4230358300","https://openalex.org/W4241212268"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2081678986","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W1557425998","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W1980200158","https://openalex.org/W1513546254"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}