{"id":"https://openalex.org/W2096986358","doi":"https://doi.org/10.1007/978-3-540-68746-7_11","title":"Synthesis of Nets with Step Firing Policies","display_name":"Synthesis of Nets with Step Firing Policies","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2096986358","doi":"https://doi.org/10.1007/978-3-540-68746-7_11","mag":"2096986358"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-68746-7_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-68746-7_11","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/A5113466958","display_name":"Philippe Darondeau","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Darondeau","raw_affiliation_strings":["IRISA, \u00a0, campus de Beaulieu, F-35042, Rennes Cedex, France","Centre de recherche INRIA, Rennes-Bretagne Atlantique, campus de Beaulieu, F-35042 Rennes Cedex, France. E-mail: Philippe.Darondeau@inria.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRISA, \u00a0, campus de Beaulieu, F-35042, Rennes Cedex, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802"]},{"raw_affiliation_string":"Centre de recherche INRIA, Rennes-Bretagne Atlantique, campus de Beaulieu, F-35042 Rennes Cedex, France. E-mail: Philippe.Darondeau@inria.fr","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042490356","display_name":"Maciej Koutny","orcid":"https://orcid.org/0000-0003-4563-1378"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Maciej Koutny","raw_affiliation_strings":["School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom NE1 7RU#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom NE1 7RU#TAB#","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113869019","display_name":"Marta Pietkiewicz-Koutny","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marta Pietkiewicz-Koutny","raw_affiliation_strings":["School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom NE1 7RU#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom NE1 7RU#TAB#","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029446985","display_name":"Alex Yakovlev","orcid":"https://orcid.org/0000-0003-0826-9330"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alex Yakovlev","raw_affiliation_strings":["School of Electrical, Electronic and Computer Engineering, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","School of Electrical, Electronic and Computer Engineering, Newcastle University Newcastle Upon Tyne, United Kingdom, NE1 7RU"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical, Electronic and Computer Engineering, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Electrical, Electronic and Computer Engineering, Newcastle University Newcastle Upon Tyne, United Kingdom, NE1 7RU","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1908,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89968026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9975000023841858,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9975000023841858,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9959999918937683,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9568382501602173},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8150017261505127},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7065324187278748},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6773481369018555},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.5743343830108643},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5574221014976501},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46453720331192017},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.45376694202423096},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3708101809024811},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33757707476615906},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10523223876953125}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9568382501602173},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8150017261505127},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7065324187278748},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6773481369018555},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.5743343830108643},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5574221014976501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46453720331192017},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.45376694202423096},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3708101809024811},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33757707476615906},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10523223876953125},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-68746-7_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-68746-7_11","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":27,"referenced_works":["https://openalex.org/W1480802853","https://openalex.org/W1485662457","https://openalex.org/W1493304127","https://openalex.org/W1515231954","https://openalex.org/W1516073916","https://openalex.org/W1516649613","https://openalex.org/W1521922701","https://openalex.org/W1529563803","https://openalex.org/W1560137053","https://openalex.org/W1595520837","https://openalex.org/W1833736042","https://openalex.org/W1963547452","https://openalex.org/W1978994556","https://openalex.org/W2017906621","https://openalex.org/W2048775824","https://openalex.org/W2071923519","https://openalex.org/W2081041113","https://openalex.org/W2096986358","https://openalex.org/W2138283471","https://openalex.org/W2156351642","https://openalex.org/W2160823654","https://openalex.org/W2180304681","https://openalex.org/W2506721656","https://openalex.org/W2899352947","https://openalex.org/W3022177319","https://openalex.org/W4285719527","https://openalex.org/W4301808069"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2092311420","https://openalex.org/W4242099213","https://openalex.org/W1531156418","https://openalex.org/W2020720940"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}