{"id":"https://openalex.org/W7125914176","doi":"https://doi.org/10.1109/smc58881.2025.11342612","title":"Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems","display_name":"Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems","publication_year":2025,"publication_date":"2025-10-05","ids":{"openalex":"https://openalex.org/W7125914176","doi":"https://doi.org/10.1109/smc58881.2025.11342612"},"language":null,"primary_location":{"id":"doi:10.1109/smc58881.2025.11342612","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342612","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 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/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":true,"raw_author_name":"M. Wojnakowski","raw_affiliation_strings":["University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"],"affiliations":[{"raw_affiliation_string":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","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":false,"raw_author_name":"R. Wi\u015bniewski","raw_affiliation_strings":["University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"],"affiliations":[{"raw_affiliation_string":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124070089","display_name":"M. Zhou","orcid":null},"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":"M. 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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124112457","display_name":"Z. Li","orcid":null},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Z. Li","raw_affiliation_strings":["University of Science and Technology,Institute of Systems Engineering,Macau,China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology,Institute of Systems Engineering,Macau,China","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124064688","display_name":"M. Mali\u0144ski","orcid":null},"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":"M. Mali\u0144ski","raw_affiliation_strings":["University of Zielona Góra,Doctoral School of Exact and Technical Sciences,Zielona,Poland,65-762"],"affiliations":[{"raw_affiliation_string":"University of Zielona Góra,Doctoral School of Exact and Technical Sciences,Zielona,Poland,65-762","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024267078","display_name":"Andrzej Obuchowicz","orcid":"https://orcid.org/0000-0002-0561-0380"},"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":"A. Obuchowicz","raw_affiliation_strings":["University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"],"affiliations":[{"raw_affiliation_string":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115864779","display_name":"Dawid Konarczak","orcid":null},"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":"D. Konarczak","raw_affiliation_strings":["University of Zielona Góra,Zielona,Poland,65-246"],"affiliations":[{"raw_affiliation_string":"University of Zielona Góra,Zielona,Poland,65-246","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5022821354"],"corresponding_institution_ids":["https://openalex.org/I46305939"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.77998282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1190","last_page":"1195"},"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.8598999977111816,"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.8598999977111816,"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.10540000349283218,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.007400000002235174,"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.8777999877929688},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8363000154495239},{"id":"https://openalex.org/keywords/incidence-matrix","display_name":"Incidence matrix","score":0.7378000020980835},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6355000138282776},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.49639999866485596},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.45080000162124634},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.44929999113082886},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4189000129699707}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8777999877929688},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8363000154495239},{"id":"https://openalex.org/C85136909","wikidata":"https://www.wikidata.org/wiki/Q939272","display_name":"Incidence matrix","level":3,"score":0.7378000020980835},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6355000138282776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6021999716758728},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5813000202178955},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.49639999866485596},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.45080000162124634},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.44929999113082886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42750000953674316},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4189000129699707},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3767000138759613},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36079999804496765},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3596999943256378},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3330000042915344},{"id":"https://openalex.org/C165443888","wikidata":"https://www.wikidata.org/wiki/Q1482183","display_name":"Transformation matrix","level":3,"score":0.3287000060081482},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.3197000026702881},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.2784000039100647},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.2696000039577484},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.26820001006126404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc58881.2025.11342612","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342612","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1490850339","https://openalex.org/W1591890109","https://openalex.org/W1624233634","https://openalex.org/W2079998848","https://openalex.org/W2133661350","https://openalex.org/W2147281200","https://openalex.org/W2159281937","https://openalex.org/W2344188727","https://openalex.org/W2523482717","https://openalex.org/W2526581160","https://openalex.org/W2912317637","https://openalex.org/W4246075700","https://openalex.org/W4309374914","https://openalex.org/W4309676845","https://openalex.org/W4313260457","https://openalex.org/W4378551438","https://openalex.org/W4379533667","https://openalex.org/W4385696149","https://openalex.org/W4391308096","https://openalex.org/W4393253049","https://openalex.org/W4403195631","https://openalex.org/W4406327934","https://openalex.org/W7128252035"],"related_works":[],"abstract_inverted_index":{"This":[0,41,108],"work":[1],"aims":[2],"to":[3,54],"analyze":[4],"the":[5,26,30,44,55,88,91,105,112,119,132,144,147,152],"efficiency":[6,113],"and":[7,73,98,115,161],"effectiveness":[8,116],"of":[9,33,46,66,78,118,122,146,149,154],"two":[10],"invariant":[11],"coverage":[12],"verification":[13],"methods":[14],"for":[15],"Petri":[16,35,68],"net-based":[17],"concurrent":[18],"systems.":[19],"The":[20,59,75,125],"first":[21],"algorithm":[22,61],"is":[23,39,82,159],"based":[24],"on":[25],"classical":[27],"approach,":[28],"where":[29],"complete":[31],"analysis":[32,127],"a":[34,67],"net\u2019s":[36,69],"incidence":[37,70],"matrix":[38,71],"performed.":[40],"technique":[42],"assures":[43],"correctness":[45],"results,":[47],"but":[48],"it":[49],"may":[50,93,99],"be":[51,96],"inefficient":[52],"due":[53],"exponential":[56],"computational":[57,85],"complexity.":[58,86],"second":[60],"applies":[62],"an":[63,80],"innovative":[64],"idea":[65],"transformation":[72],"examination.":[74],"main":[76],"advantage":[77],"such":[79],"approach":[81],"its":[83],"polynomial":[84],"On":[87],"other":[89],"hand,":[90],"method":[92],"not":[94,100],"always":[95],"accurate":[97],"detect":[101],"all":[102],"errors":[103],"in":[104],"examined":[106],"system.":[107],"paper":[109],"exhaustively":[110],"verifies":[111],"(run-time)":[114],"(correctness":[117],"achieved":[120],"results)":[121],"both":[123,150],"methods.":[124],"theoretical":[126],"resutls":[128],"are":[129],"supported":[130],"by":[131,157],"experimental":[133],"ones":[134],"via":[135],"386":[136],"benchmarks":[137],"(Petri":[138],"net":[139],"models).":[140],"In":[141],"addition,":[142],"besides":[143],"examination":[145],"run-time":[148],"methods,":[151],"number":[153],"iterations":[155],"performed":[156],"them":[158],"computed":[160],"analysed.":[162]},"counts_by_year":[],"updated_date":"2026-01-29T23:17:01.242718","created_date":"2026-01-29T00:00:00"}