{"id":"https://openalex.org/W150988440","doi":"https://doi.org/10.1007/978-3-642-35722-0_13","title":"The Wadge Hierarchy of Petri Nets \u03c9-Languages","display_name":"The Wadge Hierarchy of Petri Nets \u03c9-Languages","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W150988440","doi":"https://doi.org/10.1007/978-3-642-35722-0_13","mag":"150988440"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-35722-0_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35722-0_13","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-00799936","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084127176","display_name":"J Duparc","orcid":null},"institutions":[{"id":"https://openalex.org/I97565354","display_name":"University of Lausanne","ror":"https://ror.org/019whta54","country_code":"CH","type":"education","lineage":["https://openalex.org/I97565354"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["CH","FR"],"is_corresponding":true,"raw_author_name":"Jacques Duparc","raw_affiliation_strings":["Faculty of Business and Economics, University of Lausanne, CH-1015, Lausanne, Switzerland","Institut des syst\u00e8mes d'information"],"affiliations":[{"raw_affiliation_string":"Faculty of Business and Economics, University of Lausanne, CH-1015, Lausanne, Switzerland","institution_ids":["https://openalex.org/I97565354"]},{"raw_affiliation_string":"Institut des syst\u00e8mes d'information","institution_ids":["https://openalex.org/I4210114274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057731005","display_name":"Olivier Finkel","orcid":"https://orcid.org/0000-0002-6461-2941"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Finkel","raw_affiliation_strings":["Equipe de Logique Math\u00e9matique, Institut de Math\u00e9matiques de Jussieu, CNRS et Universit\u00e9 Paris 7, U.F.R. de Math\u00e9matiques, case 7012, site Chevaleret, 75205, Paris Cedex 13, France","Institut de Math\u00e9matiques de Jussieu","\u00c9quipe de Logique Math\u00e9matique"],"affiliations":[{"raw_affiliation_string":"Equipe de Logique Math\u00e9matique, Institut de Math\u00e9matiques de Jussieu, CNRS et Universit\u00e9 Paris 7, U.F.R. de Math\u00e9matiques, case 7012, site Chevaleret, 75205, Paris Cedex 13, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut de Math\u00e9matiques de Jussieu","institution_ids":["https://openalex.org/I3017942884"]},{"raw_affiliation_string":"\u00c9quipe de Logique Math\u00e9matique","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001577016","display_name":"Jean-Pierre Ressayre","orcid":null},"institutions":[{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Ressayre","raw_affiliation_strings":["Equipe de Logique Math\u00e9matique, Institut de Math\u00e9matiques de Jussieu, CNRS et Universit\u00e9 Paris 7, U.F.R. de Math\u00e9matiques, case 7012, site Chevaleret, 75205, Paris Cedex 13, France","\u00c9quipe de Logique Math\u00e9matique","Institut de Math\u00e9matiques de Jussieu"],"affiliations":[{"raw_affiliation_string":"Equipe de Logique Math\u00e9matique, Institut de Math\u00e9matiques de Jussieu, CNRS et Universit\u00e9 Paris 7, U.F.R. de Math\u00e9matiques, case 7012, site Chevaleret, 75205, Paris Cedex 13, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"\u00c9quipe de Logique Math\u00e9matique","institution_ids":[]},{"raw_affiliation_string":"Institut de Math\u00e9matiques de Jussieu","institution_ids":["https://openalex.org/I3017942884"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084127176"],"corresponding_institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I97565354"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2345,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77709652,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"179","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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/T12029","display_name":"DNA and Biological Computing","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.8545862436294556},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7828977704048157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7048286199569702},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5273008346557617},{"id":"https://openalex.org/keywords/analytical-hierarchy","display_name":"Analytical hierarchy","score":0.5225493311882019},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5172718167304993},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.44629862904548645},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.431509792804718},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4216790199279785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3913891315460205},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34374845027923584},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27122604846954346},{"id":"https://openalex.org/keywords/analytic-hierarchy-process","display_name":"Analytic hierarchy process","score":0.06874722242355347}],"concepts":[{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.8545862436294556},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7828977704048157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7048286199569702},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5273008346557617},{"id":"https://openalex.org/C176053320","wikidata":"https://www.wikidata.org/wiki/Q2878515","display_name":"Analytical hierarchy","level":3,"score":0.5225493311882019},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5172718167304993},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.44629862904548645},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.431509792804718},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4216790199279785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3913891315460205},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34374845027923584},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27122604846954346},{"id":"https://openalex.org/C87345402","wikidata":"https://www.wikidata.org/wiki/Q485202","display_name":"Analytic hierarchy process","level":2,"score":0.06874722242355347},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-35722-0_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35722-0_13","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"},{"id":"pmh:oai:HAL:hal-00799936v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00799936","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Logical Foundations of Computer Science, LFCS 2013, Jan 2013, San Diego, United States. pp.179-193, ⟨10.1007/978-3-642-35722-0_13⟩","raw_type":"Conference papers"},{"id":"pmh:oai:iris.unil.ch:iris/223970","is_oa":false,"landing_page_url":"https://iris.unil.ch/handle/iris/223970","pdf_url":null,"source":{"id":"https://openalex.org/S7407055444","display_name":"IRIS","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"},{"id":"pmh:oai:serval.unil.ch:BIB_C002A9B1A2FF","is_oa":false,"landing_page_url":"https://serval.unil.ch/notice/serval:BIB_C002A9B1A2FF","pdf_url":null,"source":{"id":"https://openalex.org/S4306401797","display_name":"SERVAL (Universit\u00e9 de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210093590","host_organization_name":"Swiss School of Archaeology in Greece","host_organization_lineage":["https://openalex.org/I4210093590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Foundations of Computer Science, International Symposium, LFCS 2013, January 6-8, 2013. Proceedings, vol. 7734, pp. 179-193","raw_type":"inproceedings"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00799936v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00799936","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Logical Foundations of Computer Science, LFCS 2013, Jan 2013, San Diego, United States. pp.179-193, ⟨10.1007/978-3-642-35722-0_13⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W3130855","https://openalex.org/W66397878","https://openalex.org/W117768600","https://openalex.org/W1493373428","https://openalex.org/W1507944585","https://openalex.org/W1512373780","https://openalex.org/W1539382740","https://openalex.org/W1555991696","https://openalex.org/W1557288551","https://openalex.org/W1560050980","https://openalex.org/W1560960962","https://openalex.org/W1563982778","https://openalex.org/W1621948069","https://openalex.org/W1965816875","https://openalex.org/W1969470083","https://openalex.org/W1974868602","https://openalex.org/W1977229748","https://openalex.org/W2001461320","https://openalex.org/W2002089154","https://openalex.org/W2003250112","https://openalex.org/W2003940577","https://openalex.org/W2031186530","https://openalex.org/W2037955016","https://openalex.org/W2043028125","https://openalex.org/W2052976441","https://openalex.org/W2054090612","https://openalex.org/W2061572873","https://openalex.org/W2066431916","https://openalex.org/W2070641420","https://openalex.org/W2075742699","https://openalex.org/W2082483369","https://openalex.org/W2087879437","https://openalex.org/W2091564354","https://openalex.org/W2094912129","https://openalex.org/W2112562798","https://openalex.org/W2119002241","https://openalex.org/W2146328638","https://openalex.org/W2480446702","https://openalex.org/W2951837755","https://openalex.org/W2962866237","https://openalex.org/W2963717725","https://openalex.org/W3082353674","https://openalex.org/W3102174678","https://openalex.org/W4233662453","https://openalex.org/W4248784701","https://openalex.org/W4252769497","https://openalex.org/W4253103663","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W2148229336","https://openalex.org/W4238093966","https://openalex.org/W1491709828","https://openalex.org/W2001922003","https://openalex.org/W117466158"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}