{"id":"https://openalex.org/W4391308096","doi":"https://doi.org/10.1109/smc53992.2023.10394156","title":"Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study","display_name":"Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study","publication_year":2023,"publication_date":"2023-10-01","ids":{"openalex":"https://openalex.org/W4391308096","doi":"https://doi.org/10.1109/smc53992.2023.10394156"},"language":"en","primary_location":{"id":"doi:10.1109/smc53992.2023.10394156","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc53992.2023.10394156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-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/A5029112800","display_name":"Remigiusz Wi\u015bniewski","orcid":"https://orcid.org/0000-0001-6829-2263"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Remigiusz Wi\u015bniewski","raw_affiliation_strings":["Institute of Control and Computation Engineering, Univ. of Zielona Góra,Zielona Góra,Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, Univ. of Zielona Góra,Zielona Góra,Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070816217","display_name":"Justyna Patalas\u2010Maliszewska","orcid":"https://orcid.org/0000-0003-2439-2865"},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]},{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["DE","PL"],"is_corresponding":false,"raw_author_name":"Justyna Patalas-Maliszewska","raw_affiliation_strings":["Inst. of Mechanical Eng., Univ. of Zielona Góra,Zielona Góra,Poland","Institute for Machine Tools and Production Processes, Chemnitz University of Technology, Germany"],"affiliations":[{"raw_affiliation_string":"Inst. of Mechanical Eng., Univ. of Zielona Góra,Zielona Góra,Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute for Machine Tools and Production Processes, Chemnitz University of Technology, Germany","institution_ids":["https://openalex.org/I2610724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022821354","display_name":"Marcin Wojnakowski","orcid":"https://orcid.org/0000-0002-9830-9262"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Wojnakowski","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007831361","display_name":"Marcin Topczak","orcid":"https://orcid.org/0000-0003-2277-144X"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Topczak","raw_affiliation_strings":["The Doctoral School of Exact and Techn. Sciences, University of Zielona Góra,Zielona Góra,Poland"],"affiliations":[{"raw_affiliation_string":"The Doctoral School of Exact and Techn. Sciences, University of Zielona Góra,Zielona Góra,Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengchu Zhou","raw_affiliation_strings":["New Jersey Institute of Technology,ECE Department,Newark,NJ,USA,07102"],"affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology,ECE Department,Newark,NJ,USA,07102","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5029112800"],"corresponding_institution_ids":["https://openalex.org/I46305939"],"apc_list":null,"apc_paid":null,"fwci":3.2142,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.92454054,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"3316","last_page":"3322"},"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.9599000215530396,"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.9599000215530396,"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.9257000088691711,"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/petri-net","display_name":"Petri net","score":0.9040142297744751},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7115885019302368},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4133853316307068},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3941483497619629},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3452067971229553},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29150864481925964},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18219366669654846}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9040142297744751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7115885019302368},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4133853316307068},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3941483497619629},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3452067971229553},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29150864481925964},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18219366669654846}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc53992.2023.10394156","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc53992.2023.10394156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G6251279982","display_name":null,"funder_award_id":"2019/35/B/ST6/01683","funder_id":"https://openalex.org/F4320322650","funder_display_name":"Narodowym Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W1493186690","https://openalex.org/W1549644356","https://openalex.org/W1551214605","https://openalex.org/W1567452221","https://openalex.org/W1996109622","https://openalex.org/W2062596124","https://openalex.org/W2092760711","https://openalex.org/W2098071238","https://openalex.org/W2118382442","https://openalex.org/W2158814988","https://openalex.org/W2526581160","https://openalex.org/W2745008464","https://openalex.org/W2912317637","https://openalex.org/W2915002745","https://openalex.org/W3090822582","https://openalex.org/W3092666012","https://openalex.org/W3118162368","https://openalex.org/W3172970702","https://openalex.org/W3173428618","https://openalex.org/W3174771814","https://openalex.org/W3177384992","https://openalex.org/W3177749655","https://openalex.org/W3208177380","https://openalex.org/W4220722467","https://openalex.org/W4249538237","https://openalex.org/W4285152467","https://openalex.org/W4285210484","https://openalex.org/W4285212318","https://openalex.org/W4285810525","https://openalex.org/W4295768209","https://openalex.org/W4304128914","https://openalex.org/W4308156223","https://openalex.org/W4309374914","https://openalex.org/W4309676845","https://openalex.org/W4312844218","https://openalex.org/W4313260457","https://openalex.org/W4379533667","https://openalex.org/W4386795222","https://openalex.org/W4393292592","https://openalex.org/W4398173410","https://openalex.org/W6804011684","https://openalex.org/W6852847076","https://openalex.org/W6867398346"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111","https://openalex.org/W2064254377"],"abstract_inverted_index":{"This":[0],"work":[1,89],"deals":[2],"with":[3,152],"the":[4,40,94,99,126,143,180],"verification":[5,23,122],"of":[6,25,55,101,120],"a":[7,18,26,51,85,91,106,136,149],"decision-making":[8],"system":[9,29],"for":[10],"additive":[11],"manufacturing":[12],"(AM)":[13],"technology":[14,61,79,160],"adoption":[15,62],"specified":[16],"by":[17,50,109,148],"Petri":[19,27,107,182],"net.":[20],"An":[21],"innovative":[22],"technique":[24],"net-based":[28,183],"is":[30,48,140,146,161,185],"oriented":[31],"toward":[32],"practical":[33],"applications,":[34],"and":[35,43,116,165],"can":[36],"detect":[37],"errors":[38],"at":[39],"early":[41],"design":[42],"modelling":[44],"stage.":[45],"The":[46],"idea":[47],"illustrated":[49],"real-life":[52],"case":[53],"study":[54],"supporting":[56,93],"decision":[57,95],"making":[58,74,96],"in":[59,135,158,172],"AM":[60,78,102,159],"affecting":[63],"supply":[64],"chain":[65],"management":[66],"(SCM).":[67],"Two":[68],"main":[69,112],"issues":[70],"are":[71,132],"addressed.":[72],"Firstly,":[73],"optimal":[75],"decisions":[76],"about":[77],"requires":[80],"models":[81],"rarely":[82],"possessed":[83],"within":[84,179],"company.":[86],"Therefore,":[87],"this":[88],"proposes":[90],"model":[92,184],"related":[97],"to":[98,125],"implementation":[100],"technology,":[103],"based":[104],"on":[105],"net,":[108],"utilizing":[110],"its":[111],"advantages:":[113],"graphical":[114],"modelling,":[115],"strong":[117,177],"mathematical":[118],"support":[119],"formal":[121],"techniques.":[123],"Contrary":[124],"most":[127],"popular":[128],"analysis":[129],"methods":[130],"(which":[131],"bounded":[133,147],"exponentially":[134],"general":[137],"case),":[138],"it":[139],"proved":[141],"that":[142],"presented":[144],"method":[145],"cubic":[150],"polynomial":[151],"net":[153],"size.":[154],"Secondly,":[155],"an":[156],"investment":[157],"often":[162],"financially":[163],"assessed":[164],"does":[166],"not":[167],"affect":[168],"other":[169],"processes,":[170],"as":[171],"our":[173],"SCM":[174],"case.":[175],"Hence,":[176],"connectivity":[178],"proposed":[181],"examined.":[186]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}