{"id":"https://openalex.org/W2009353747","doi":"https://doi.org/10.1007/s00236-008-0084-1","title":"Exploiting colored Petri nets to decide on permutation admissibility","display_name":"Exploiting colored Petri nets to decide on permutation admissibility","publication_year":2008,"publication_date":"2008-11-27","ids":{"openalex":"https://openalex.org/W2009353747","doi":"https://doi.org/10.1007/s00236-008-0084-1","mag":"2009353747"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-008-0084-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-008-0084-1","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11129/1996","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074882127","display_name":"Rza Bashirov","orcid":"https://orcid.org/0000-0002-9037-6225"},"institutions":[{"id":"https://openalex.org/I36515993","display_name":"Eastern Mediterranean University","ror":"https://ror.org/00excyz84","country_code":"CY","type":"education","lineage":["https://openalex.org/I36515993"]}],"countries":["CY"],"is_corresponding":true,"raw_author_name":"Rza Bashirov","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, via Mersin 10, North Cyprus, Turkey","Eastern Mediterranean University, Department of Applied Mathematics and Computer Science, via Mersin 10, North Cyprus, Turkey#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, via Mersin 10, North Cyprus, Turkey","institution_ids":["https://openalex.org/I36515993"]},{"raw_affiliation_string":"Eastern Mediterranean University, Department of Applied Mathematics and Computer Science, via Mersin 10, North Cyprus, Turkey#TAB#","institution_ids":["https://openalex.org/I36515993"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039526664","display_name":"Fabrice Kordon","orcid":"https://orcid.org/0000-0002-5626-828X"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Kordon","raw_affiliation_strings":["Universit\u00e9 P. & M. Curie, LIP6/MoVe, 4 place Jussieu, 75252, Paris Cedex 05, France","Universit\u00e9 P. & M. Curie, LIP6/MoVe, 4 place Jussieu, 75252, Paris Cedex 05, France#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 P. & M. Curie, LIP6/MoVe, 4 place Jussieu, 75252, Paris Cedex 05, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"Universit\u00e9 P. & M. Curie, LIP6/MoVe, 4 place Jussieu, 75252, Paris Cedex 05, France#TAB#","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007631966","display_name":"H\u00fcseyin Lort","orcid":"https://orcid.org/0009-0006-0290-0661"},"institutions":[{"id":"https://openalex.org/I36515993","display_name":"Eastern Mediterranean University","ror":"https://ror.org/00excyz84","country_code":"CY","type":"education","lineage":["https://openalex.org/I36515993"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"H\u00fcseyin Lort","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, via Mersin 10, North Cyprus, Turkey","Eastern Mediterranean University, Department of Applied Mathematics and Computer Science, via Mersin 10, North Cyprus, Turkey#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Eastern Mediterranean University, via Mersin 10, North Cyprus, Turkey","institution_ids":["https://openalex.org/I36515993"]},{"raw_affiliation_string":"Eastern Mediterranean University, Department of Applied Mathematics and Computer Science, via Mersin 10, North Cyprus, Turkey#TAB#","institution_ids":["https://openalex.org/I36515993"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5074882127"],"corresponding_institution_ids":["https://openalex.org/I36515993"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.4135,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66319574,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"46","issue":"1","first_page":"43","last_page":"55"},"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.9983000159263611,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8511791229248047},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.7916522026062012},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7817604541778564},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7303204536437988},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.6625314950942993},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5556843876838684},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5235909223556519},{"id":"https://openalex.org/keywords/multistage-interconnection-networks","display_name":"Multistage interconnection networks","score":0.4838334619998932},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.4468056261539459},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.41647839546203613},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3584265410900116},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3291674256324768}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8511791229248047},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.7916522026062012},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7817604541778564},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7303204536437988},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.6625314950942993},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5556843876838684},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5235909223556519},{"id":"https://openalex.org/C2776832011","wikidata":"https://www.wikidata.org/wiki/Q6935099","display_name":"Multistage interconnection networks","level":3,"score":0.4838334619998932},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.4468056261539459},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.41647839546203613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3584265410900116},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3291674256324768},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00236-008-0084-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-008-0084-1","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01176303v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01176303","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Acta Informatica, 2009, 46 (1), pp.43-55. ⟨10.1007/s00236-008-0084-1⟩","raw_type":"Journal articles"},{"id":"pmh:oai:i-rep.emu.edu.tr:11129/1996","is_oa":true,"landing_page_url":"http://hdl.handle.net/11129/1996","pdf_url":null,"source":{"id":"https://openalex.org/S4306402300","display_name":"Eastern Mediterranean University Institutional Repository (Eastern Mediterranean University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36515993","host_organization_name":"Eastern Mediterranean University","host_organization_lineage":["https://openalex.org/I36515993"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:i-rep.emu.edu.tr:11129/1996","is_oa":true,"landing_page_url":"http://hdl.handle.net/11129/1996","pdf_url":null,"source":{"id":"https://openalex.org/S4306402300","display_name":"Eastern Mediterranean University Institutional Repository (Eastern Mediterranean University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36515993","host_organization_name":"Eastern Mediterranean University","host_organization_lineage":["https://openalex.org/I36515993"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W197595208","https://openalex.org/W1496952972","https://openalex.org/W1534850333","https://openalex.org/W1586947210","https://openalex.org/W1589724738","https://openalex.org/W1759712729","https://openalex.org/W1962917174","https://openalex.org/W1976150119","https://openalex.org/W1996109622","https://openalex.org/W2026588906","https://openalex.org/W2027131958","https://openalex.org/W2027860296","https://openalex.org/W2028136207","https://openalex.org/W2044548351","https://openalex.org/W2077598115","https://openalex.org/W2078423317","https://openalex.org/W2085133807","https://openalex.org/W2093762724","https://openalex.org/W2095666793","https://openalex.org/W2100598737","https://openalex.org/W2120237661","https://openalex.org/W2135928976","https://openalex.org/W2153236313","https://openalex.org/W2163266763","https://openalex.org/W2169641487","https://openalex.org/W2891255201","https://openalex.org/W4241212268"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2381491984","https://openalex.org/W2016989291","https://openalex.org/W2362023948","https://openalex.org/W2257573499","https://openalex.org/W2380620445","https://openalex.org/W2064254377","https://openalex.org/W2352499080","https://openalex.org/W1847176793","https://openalex.org/W2148229336"],"abstract_inverted_index":null,"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}