{"id":"https://openalex.org/W2024035132","doi":"https://doi.org/10.1109/tsmc.1985.6313357","title":"Hierarchical reduction method for analysis and decomposition of Petri nets","display_name":"Hierarchical reduction method for analysis and decomposition of Petri nets","publication_year":1985,"publication_date":"1985-03-01","ids":{"openalex":"https://openalex.org/W2024035132","doi":"https://doi.org/10.1109/tsmc.1985.6313357","mag":"2024035132"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.1985.6313357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.1985.6313357","pdf_url":null,"source":{"id":"https://openalex.org/S76152103","display_name":"IEEE Transactions on Systems Man and Cybernetics","issn_l":"0018-9472","issn":["0018-9472","2168-2909"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics","raw_type":"journal-article"},"type":"article","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/A5109868823","display_name":"Kwang-Hyung Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I48430043","display_name":"Institut National des Sciences Appliqu\u00e9es de Lyon","ror":"https://ror.org/050jn9y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I203339264","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Kwang-Hyung Lee","raw_affiliation_strings":["Laboratoire Informatique Appliqu\u00e9e, Institut National des Sciences Appliqu\u00e9es de Lyon, Villeurbanne, France","Lab. Inf. Appl., Inst. Nat. des Sci. Appl. de Lyon, Villeurbanne, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Informatique Appliqu\u00e9e, Institut National des Sciences Appliqu\u00e9es de Lyon, Villeurbanne, France","institution_ids":["https://openalex.org/I48430043"]},{"raw_affiliation_string":"Lab. Inf. Appl., Inst. Nat. des Sci. Appl. de Lyon, Villeurbanne, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110242758","display_name":"J. Favrel","orcid":null},"institutions":[{"id":"https://openalex.org/I48430043","display_name":"Institut National des Sciences Appliqu\u00e9es de Lyon","ror":"https://ror.org/050jn9y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I203339264","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Joel Favrel","raw_affiliation_strings":["Laboratoire Informatique Appliqu\u00e9e, Institut National des Sciences Appliqu\u00e9es de Lyon, Villeurbanne, France","Lab. Inf. Appl., Inst. Nat. des Sci. Appl. de Lyon, Villeurbanne, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Informatique Appliqu\u00e9e, Institut National des Sciences Appliqu\u00e9es de Lyon, Villeurbanne, France","institution_ids":["https://openalex.org/I48430043"]},{"raw_affiliation_string":"Lab. Inf. Appl., Inst. Nat. des Sci. Appl. de Lyon, Villeurbanne, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109868823"],"corresponding_institution_ids":["https://openalex.org/I48430043"],"apc_list":null,"apc_paid":null,"fwci":3.5047,"has_fulltext":false,"cited_by_count":140,"citation_normalized_percentile":{"value":0.93383199,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"SMC-15","issue":"2","first_page":"272","last_page":"280"},"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.9984999895095825,"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.9984999895095825,"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.9966999888420105,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9775999784469604,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/subnet","display_name":"Subnet","score":0.9849370718002319},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9227375984191895},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8426279425621033},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.8312154412269592},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6958162188529968},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6787585616111755},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6528074741363525},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.5026617050170898},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.458944708108902},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.45253828167915344},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3785216808319092},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3756040334701538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2742825150489807},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1147778332233429},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.056255340576171875}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.9849370718002319},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9227375984191895},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8426279425621033},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.8312154412269592},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6958162188529968},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6787585616111755},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6528074741363525},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.5026617050170898},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.458944708108902},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.45253828167915344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3785216808319092},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3756040334701538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2742825150489807},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1147778332233429},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.056255340576171875},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","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.1109/tsmc.1985.6313357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.1985.6313357","pdf_url":null,"source":{"id":"https://openalex.org/S76152103","display_name":"IEEE Transactions on Systems Man and Cybernetics","issn_l":"0018-9472","issn":["0018-9472","2168-2909"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2076019503","https://openalex.org/W1543378523","https://openalex.org/W4238125051","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W1485251690","https://openalex.org/W2148229336","https://openalex.org/W2382668819"],"abstract_inverted_index":{"A":[0,54,69],"hierarchical":[1,86],"reduction":[2,72],"method":[3],"for":[4],"Petri":[5,18,79],"nets":[6,80],"is":[7],"proposed.":[8],"After":[9],"a":[10,75],"brief":[11],"survey":[12],"on":[13],"the":[14,39,45,52,62,89],"existing":[15],"methods":[16],"of":[17,27,41,71,77,88],"net":[19,56],"reduction,":[20],"concepts":[21],"such":[22],"as":[23],"reducible":[24,46],"subnet,":[25,28,42],"degree":[26,40],"and":[29,43,67,85],"macronode":[30],"are":[31,35],"defined.":[32],"The":[33],"subnets":[34,47],"partially":[36],"ordered":[37],"by":[38],"thus":[44],"can":[48,57],"be":[49,58],"reduced":[50,55,78],"into":[51],"macronodes.":[53],"obtained":[59],"without":[60],"changing":[61],"properties":[63],"(for":[64],"example,":[65],"liveness":[66],"boundedness).":[68],"sequence":[70],"results":[73],"in":[74],"hierarchy":[76],"that":[81],"allow":[82],"easy":[83],"verification":[84],"decomposition":[87],"system.":[90]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}