{"id":"https://openalex.org/W1495070565","doi":"https://doi.org/10.1007/978-3-540-79709-8_36","title":"Using Coloured Petri Nets to Model and Verify Telecommunications Systems","display_name":"Using Coloured Petri Nets to Model and Verify Telecommunications Systems","publication_year":2008,"publication_date":"2008-05-13","ids":{"openalex":"https://openalex.org/W1495070565","doi":"https://doi.org/10.1007/978-3-540-79709-8_36","mag":"1495070565"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-79709-8_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-79709-8_36","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/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 Nepomniaschy","raw_affiliation_strings":["Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 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":"Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 6, Lavrentiev ave., Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"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/A5056957921","display_name":"Dmitry Beloglazov","orcid":null},"institutions":[{"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":"Dmitry Beloglazov","raw_affiliation_strings":["Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 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":"Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 6, Lavrentiev ave., Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"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/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 Churina","raw_affiliation_strings":["Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 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":"Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 6, Lavrentiev ave., Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"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/A5066929422","display_name":"M. Yu. Mashukov","orcid":null},"institutions":[{"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":"Mikhail Mashukov","raw_affiliation_strings":["Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 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":"Siberian Division of Russian Academy of Sciences, A.P.Ershov Institute of Informatics Systems, 6, Lavrentiev ave., Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"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":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210127387"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.5371,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79569205,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"360","last_page":"371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991000294685364,"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.9970999956130981,"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.9068466424942017},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7932497262954712},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6414793729782104},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5433611869812012},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49723294377326965},{"id":"https://openalex.org/keywords/telephone-network","display_name":"Telephone network","score":0.4544960558414459},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.43746650218963623},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36516571044921875},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3516803979873657}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9068466424942017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932497262954712},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6414793729782104},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5433611869812012},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49723294377326965},{"id":"https://openalex.org/C197698232","wikidata":"https://www.wikidata.org/wiki/Q2354216","display_name":"Telephone network","level":2,"score":0.4544960558414459},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.43746650218963623},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36516571044921875},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3516803979873657},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-79709-8_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-79709-8_36","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":23,"referenced_works":["https://openalex.org/W1491103651","https://openalex.org/W1495360349","https://openalex.org/W1508720389","https://openalex.org/W1534850333","https://openalex.org/W1555281169","https://openalex.org/W1556566737","https://openalex.org/W1583775158","https://openalex.org/W2000292387","https://openalex.org/W2009983102","https://openalex.org/W2114140119","https://openalex.org/W2122233354","https://openalex.org/W2122948231","https://openalex.org/W2124790413","https://openalex.org/W2160260781","https://openalex.org/W2170013995","https://openalex.org/W2288787775","https://openalex.org/W2422272475","https://openalex.org/W2488556700","https://openalex.org/W2488888350","https://openalex.org/W2489834657","https://openalex.org/W2495008722","https://openalex.org/W4230358300","https://openalex.org/W4241212268"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W2388330702","https://openalex.org/W2409714959","https://openalex.org/W4298212052","https://openalex.org/W2392986374","https://openalex.org/W2390164899","https://openalex.org/W2740821854","https://openalex.org/W4254015142","https://openalex.org/W4392877027","https://openalex.org/W2069740629"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}