{"id":"https://openalex.org/W2285205592","doi":"https://doi.org/10.1007/978-3-662-46823-4_30","title":"Comparing Semantics Under Strong Timing of Petri Nets","display_name":"Comparing Semantics Under Strong Timing of Petri Nets","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2285205592","doi":"https://doi.org/10.1007/978-3-662-46823-4_30","mag":"2285205592"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-46823-4_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-46823-4_30","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/A5013247640","display_name":"Irina Virbitskaite","orcid":"https://orcid.org/0000-0002-4475-3480"},"institutions":[{"id":"https://openalex.org/I4387152644","display_name":"A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/01dc8vg74","country_code":null,"type":"government","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4387152644"]},{"id":"https://openalex.org/I4210092286","display_name":"Institute of Informatics Problems","ror":"https://ror.org/00n8bqs64","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210092286","https://openalex.org/I4210097085"]},{"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"]},{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Irina Virbitskaite","raw_affiliation_strings":["A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia","A.P. Ershov Institute of Informatics Systems, SB RAS 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","Novosibirsk State University, 2, Pirogov Avenue, 630090, Novosibirsk, Russia","Novosibirsk State University, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210092286","https://openalex.org/I4387152644"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, SB RAS 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387","https://openalex.org/I4387152644"]},{"raw_affiliation_string":"Novosibirsk State University, 2, Pirogov Avenue, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108618020","display_name":"Dmitry Bushin","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"]},{"id":"https://openalex.org/I4210092286","display_name":"Institute of Informatics Problems","ror":"https://ror.org/00n8bqs64","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210092286","https://openalex.org/I4210097085"]},{"id":"https://openalex.org/I4387152644","display_name":"A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/01dc8vg74","country_code":null,"type":"government","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4387152644"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Dmitry Bushin","raw_affiliation_strings":["A.P. Ershov Institute of Informatics Systems, SB RAS 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, SB RAS 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387","https://openalex.org/I4387152644"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210092286","https://openalex.org/I4387152644"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5108618020"],"corresponding_institution_ids":["https://openalex.org/I4210092286","https://openalex.org/I4210127387","https://openalex.org/I4387152644"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13269827,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"376","last_page":"384"},"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.9998000264167786,"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.9998000264167786,"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.9943000078201294,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.8701316118240356},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.867630124092102},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8237553834915161},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7491128444671631},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6518980264663696},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.602892279624939},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.569670557975769},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5587034821510315},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5093625783920288},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.47868233919143677},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3901855945587158},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3497697710990906}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.8701316118240356},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.867630124092102},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8237553834915161},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7491128444671631},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6518980264663696},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.602892279624939},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.569670557975769},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5587034821510315},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5093625783920288},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.47868233919143677},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3901855945587158},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3497697710990906},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-662-46823-4_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-46823-4_30","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":[{"score":0.7099999785423279,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1495551332","https://openalex.org/W1560378398","https://openalex.org/W1562433349","https://openalex.org/W1565166805","https://openalex.org/W1570820794","https://openalex.org/W4230727193"],"related_works":["https://openalex.org/W2273393794","https://openalex.org/W2133697637","https://openalex.org/W59382029","https://openalex.org/W4253571630","https://openalex.org/W2395025735","https://openalex.org/W2094903923","https://openalex.org/W1555673433","https://openalex.org/W4319456988","https://openalex.org/W1495872178","https://openalex.org/W2376140444"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}