{"id":"https://openalex.org/W2344188727","doi":"https://doi.org/10.1109/tsmc.2016.2531673","title":"Design and Verification of Real-Life Processes With Application of Petri Nets","display_name":"Design and Verification of Real-Life Processes With Application of Petri Nets","publication_year":2016,"publication_date":"2016-03-09","ids":{"openalex":"https://openalex.org/W2344188727","doi":"https://doi.org/10.1109/tsmc.2016.2531673","mag":"2344188727"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2016.2531673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2016.2531673","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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: Systems","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/A5009629691","display_name":"Iwona Grobelna","orcid":"https://orcid.org/0000-0002-0912-2958"},"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":"Iwona Grobelna","raw_affiliation_strings":["Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","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":"Remigiusz Wisniewski","raw_affiliation_strings":["Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012140992","display_name":"Micha\u0142 Grobelny","orcid":"https://orcid.org/0000-0001-5007-759X"},"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":"Michal Grobelny","raw_affiliation_strings":["Department of Media and Information Technologies, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Department of Media and Information Technologies, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051908723","display_name":"M. Wi\u015bniewska","orcid":"https://orcid.org/0000-0002-8877-8807"},"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":"Monika Wisniewska","raw_affiliation_strings":["Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Hippo Research Team, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5009629691"],"corresponding_institution_ids":["https://openalex.org/I46305939"],"apc_list":null,"apc_paid":null,"fwci":11.4996,"has_fulltext":false,"cited_by_count":81,"citation_normalized_percentile":{"value":0.98577148,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"47","issue":"11","first_page":"2856","last_page":"2869"},"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.9972000122070312,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7992575764656067},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7494380474090576},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5930728912353516},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5213945508003235},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5087586045265198},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5041178464889526},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43028879165649414},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4213767349720001},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.42006540298461914},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.41340476274490356},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.41313862800598145},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.389408677816391},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33607161045074463},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.222703754901886}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7992575764656067},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7494380474090576},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5930728912353516},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5213945508003235},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5087586045265198},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5041178464889526},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43028879165649414},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4213767349720001},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.42006540298461914},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.41340476274490356},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.41313862800598145},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.389408677816391},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33607161045074463},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.222703754901886},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2016.2531673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2016.2531673","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":80,"referenced_works":["https://openalex.org/W6618575","https://openalex.org/W12413954","https://openalex.org/W52376015","https://openalex.org/W63426896","https://openalex.org/W174127401","https://openalex.org/W213123700","https://openalex.org/W251131796","https://openalex.org/W285995161","https://openalex.org/W604233734","https://openalex.org/W1482993605","https://openalex.org/W1487936617","https://openalex.org/W1505489763","https://openalex.org/W1508998125","https://openalex.org/W1517759046","https://openalex.org/W1527658919","https://openalex.org/W1577053809","https://openalex.org/W1582385421","https://openalex.org/W1591890109","https://openalex.org/W1596346255","https://openalex.org/W1604947112","https://openalex.org/W1606452969","https://openalex.org/W1675907549","https://openalex.org/W1910074535","https://openalex.org/W1972786057","https://openalex.org/W1981182823","https://openalex.org/W1989210785","https://openalex.org/W1989887624","https://openalex.org/W1996109622","https://openalex.org/W1998161285","https://openalex.org/W2000823825","https://openalex.org/W2002775580","https://openalex.org/W2006988532","https://openalex.org/W2008292702","https://openalex.org/W2009482268","https://openalex.org/W2013814408","https://openalex.org/W2023806806","https://openalex.org/W2031416662","https://openalex.org/W2044972419","https://openalex.org/W2056081080","https://openalex.org/W2060366879","https://openalex.org/W2060728121","https://openalex.org/W2068660650","https://openalex.org/W2074266025","https://openalex.org/W2079144454","https://openalex.org/W2090653668","https://openalex.org/W2090901545","https://openalex.org/W2096115368","https://openalex.org/W2097246682","https://openalex.org/W2104301886","https://openalex.org/W2105572166","https://openalex.org/W2107628156","https://openalex.org/W2115557582","https://openalex.org/W2116056094","https://openalex.org/W2122836287","https://openalex.org/W2129788823","https://openalex.org/W2149110313","https://openalex.org/W2149929890","https://openalex.org/W2150189917","https://openalex.org/W2152821790","https://openalex.org/W2156239260","https://openalex.org/W2158356958","https://openalex.org/W2158814988","https://openalex.org/W2158936575","https://openalex.org/W2167091921","https://openalex.org/W2167118463","https://openalex.org/W2280489473","https://openalex.org/W2313036812","https://openalex.org/W2318227088","https://openalex.org/W2398222887","https://openalex.org/W2400756599","https://openalex.org/W2499902956","https://openalex.org/W2913545390","https://openalex.org/W3085412222","https://openalex.org/W3161525053","https://openalex.org/W4231026759","https://openalex.org/W4251228600","https://openalex.org/W6683000280","https://openalex.org/W6684665282","https://openalex.org/W6712574543","https://openalex.org/W6712657468"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2354587648","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747"],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3],"the":[4,59,63,67,71,74,78,81,94,99,106,109,118,135,139,150,154],"design":[5,48],"and":[6,24,31,97,130],"verification":[7],"methods":[8,129],"of":[9,50,70,108,127,138,162],"distributed":[10,51,75,91,141],"logic":[11,52,142],"controllers":[12,53],"supervising":[13],"real-life":[14],"processes.":[15],"Such":[16],"systems":[17],"have":[18],"to":[19,28,32,38,66],"be":[20],"designed":[21,140],"very":[22],"carefully":[23],"precisely":[25],"in":[26,73,122],"order":[27],"operate":[29],"flawlessly":[30],"meet":[33],"user":[34],"needs.":[35],"We":[36],"propose":[37],"use":[39],"interpreted":[40],"Petri":[41],"nets":[42],"as":[43],"modeling":[44],"formalism.":[45],"A":[46],"new":[47],"flow":[49],"is":[54,83,102,120,147,157],"introduced.":[55],"The":[56,125,144],"methodology":[57],"covers":[58],"development":[60],"process":[61],"from":[62],"specification":[64,95],"stage":[65],"final":[68],"implementation":[69],"controller":[72],"devices.":[76,124],"In":[77],"proposed":[79,155],"solution,":[80],"system":[82,119],"decomposed":[84],"into":[85],"separate":[86],"modules":[87],"that":[88],"form":[89],"a":[90,163],"system.":[92,166],"Furthermore,":[93,153],"(before":[96],"after":[98],"decomposition":[100],"process)":[101],"formally":[103],"verified":[104],"with":[105],"application":[107],"model":[110,132],"checking":[111,133],"technique":[112],"against":[113],"predefined":[114],"behavioral":[115],"requirements.":[116],"Finally,":[117],"implemented":[121],"real":[123],"usage":[126],"formal":[128],"double":[131],"ensure":[134],"correct":[136],"functionality":[137],"controller.":[143],"theoretical":[145],"approach":[146],"supplemented":[148],"by":[149,159],"practical":[151],"experiments.":[152],"idea":[156],"illustrated":[158],"an":[160],"example":[161],"smart":[164],"home":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}