{"id":"https://openalex.org/W1175596776","doi":"https://doi.org/10.1007/s00165-015-0341-3","title":"A reduced maximality labeled transition system generation for recursive Petri nets","display_name":"A reduced maximality labeled transition system generation for recursive Petri nets","publication_year":2015,"publication_date":"2015-08-05","ids":{"openalex":"https://openalex.org/W1175596776","doi":"https://doi.org/10.1007/s00165-015-0341-3","mag":"1175596776"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-015-0341-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0341-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0341-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0341-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064121819","display_name":"Messaouda Bouneb","orcid":null},"institutions":[{"id":"https://openalex.org/I3132180716","display_name":"Larbi Ben M'hidi University of Oum El Bouaghi","ror":"https://ror.org/0034tbg85","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3132180716"]},{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Messaouda Bouneb","raw_affiliation_strings":["Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria","MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria and MISC Laboratory, Department of Fundamental Informatics and its Applications, University C ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria","institution_ids":["https://openalex.org/I3132180716"]},{"raw_affiliation_string":"MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]},{"raw_affiliation_string":"Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria and MISC Laboratory, Department of Fundamental Informatics and its Applications, University C ...#TAB#","institution_ids":["https://openalex.org/I3132180716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058004291","display_name":"Djamel Eddine Sa\u00efdouni","orcid":"https://orcid.org/0000-0001-8523-9800"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Djamel Eddine Saidouni","raw_affiliation_strings":["MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004185054","display_name":"Jean\u2010Michel Ili\u00e9","orcid":"https://orcid.org/0000-0002-0057-3090"},"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":"Jean Michel Ilie","raw_affiliation_strings":["Department of Computer Sciences, Pierre and Marie Curie University, Paris, France","Department of Computer Sciences, Pierre and Marie Curie University, Paris, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, Pierre and Marie Curie University, Paris, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"Department of Computer Sciences, Pierre and Marie Curie University, Paris, France#TAB#","institution_ids":["https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3634,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62857143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":"5-6","first_page":"951","last_page":"973"},"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.9986000061035156,"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.9969000220298767,"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.9239745140075684},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8335098028182983},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.6924774646759033},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6922546625137329},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.605841875076294},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5974338054656982},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5364891290664673},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5124907493591309},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5036541819572449},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4718325734138489},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.4576941132545471},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4554952085018158},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43419772386550903},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.4310159981250763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39021894335746765},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34278786182403564},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3388928771018982},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08727705478668213}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9239745140075684},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8335098028182983},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6924774646759033},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6922546625137329},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.605841875076294},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5974338054656982},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5364891290664673},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5124907493591309},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5036541819572449},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4718325734138489},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.4576941132545471},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4554952085018158},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43419772386550903},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4310159981250763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39021894335746765},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34278786182403564},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3388928771018982},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08727705478668213}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-015-0341-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0341-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0341-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-015-0341-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-015-0341-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-015-0341-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1175596776.pdf","grobid_xml":"https://content.openalex.org/works/W1175596776.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W22293391","https://openalex.org/W27763718","https://openalex.org/W140793526","https://openalex.org/W1497869663","https://openalex.org/W1532118845","https://openalex.org/W1551769641","https://openalex.org/W1570958174","https://openalex.org/W1667758182","https://openalex.org/W1759774365","https://openalex.org/W1778149536","https://openalex.org/W1886079802","https://openalex.org/W1973270640","https://openalex.org/W1989279866","https://openalex.org/W1998563363","https://openalex.org/W2003499082","https://openalex.org/W2008781243","https://openalex.org/W2057403696","https://openalex.org/W2071140053","https://openalex.org/W2094159214","https://openalex.org/W2096241545","https://openalex.org/W2117189826","https://openalex.org/W2138341088","https://openalex.org/W2156761731","https://openalex.org/W2238903426","https://openalex.org/W2291593295","https://openalex.org/W2468179198","https://openalex.org/W2496242874","https://openalex.org/W2505885052","https://openalex.org/W2914851216","https://openalex.org/W4232962645"],"related_works":["https://openalex.org/W2399470155","https://openalex.org/W2129909535","https://openalex.org/W2136070637","https://openalex.org/W2167838019","https://openalex.org/W2171004374","https://openalex.org/W2807761056","https://openalex.org/W1608609850","https://openalex.org/W2106221267","https://openalex.org/W2135048208","https://openalex.org/W2020039862"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"Saidouni":[2],"et":[3],"al.":[4],"(Maximality":[5],"semantic":[6],"for":[7,29],"recursive":[8,31],"Petri":[9,32],"net.":[10],"Europeen":[11],"conference":[12],"on":[13],"modelling":[14],"and":[15],"simulation":[16],"(ECMS\u201913)":[17],"pp":[18],"544\u2013550,":[19],"2013":[20],")":[21],"a":[22,39,61],"maximality":[23,62],"operational":[24,36],"semantics":[25,37],"has":[26],"been":[27],"defined":[28],"the":[30,68,76],"net":[33],"model.":[34],"This":[35,49],"generates":[38,55],"true":[40],"concurrency":[41],"structure":[42],"named":[43],"maximality-based":[44],"labeled":[45],"transition":[46],"systems":[47],"(MLTS).":[48],"paper":[50],"proposes":[51],"an":[52,56,73],"approach":[53,69],"that":[54],"on-the-fly":[57],"reduced":[58],"MLTS":[59],"modulo":[60],"bisimulation":[63],"relation.":[64],"The":[65],"interest":[66],"of":[67],"is":[70],"shown":[71],"using":[72],"example":[74],"concerning":[75],"woodshop":[77],"cutting":[78],"system.":[79]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}