{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T10:01:24Z","timestamp":1771581684483,"version":"3.50.1"},"reference-count":75,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/tcst.2017.2692204","type":"journal-article","created":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T18:24:59Z","timestamp":1494008699000},"page":"575-586","source":"Crossref","is-referenced-by-count":41,"title":["Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-2263","authenticated-orcid":false,"given":"Remigiusz","family":"Wisniewski","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Karatkevich","sequence":"additional","affiliation":[]},{"given":"Marian","family":"Adamski","sequence":"additional","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","author":"zakrevskij","year":"2009","journal-title":"Design of Logical Control Devices"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/s10559-006-0044-0"},{"key":"ref71","year":"2017","journal-title":"Xilinx Partial Reconfiguration Tutorial"},{"key":"ref70","year":"2016","journal-title":"Xilinx FSM Style Implementation"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55676-1_17"},{"key":"ref75","author":"zwolinski","year":"2000","journal-title":"Digital System Design with VHDL"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1063\/1.4938889"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.019"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00241-7"},{"key":"ref31","article-title":"Design and verification of real-life processes with application of Petri nets","volume":"1","author":"grobelna","year":"2016","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860481"},{"key":"ref37","first-page":"806","article-title":"Reduction of SM-components in Petri nets","volume":"6","author":"karatkevich","year":"2008","journal-title":"Przeg?d Telekomunikacyjny i Wiadomo?ci Telekomunikacyjne"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2008.5580151"},{"key":"ref35","volume":"356","author":"karatkevich","year":"2007","journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"ref60","first-page":"245","article-title":"Methods of translation of Petri nets to NuSMV language","author":"szpyrka","year":"2014","journal-title":"Proc Int Workshop Concurrency Specification Program (CS&P)"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/25.492914"},{"key":"ref61","author":"thomas","year":"2002","journal-title":"The Verilog Hardware Description Language"},{"key":"ref63","first-page":"377","article-title":"Comparative study of switching representation tool with GRAFCET and Petri nets","volume":"23","author":"valette","year":"1978","journal-title":"Nouv Autom"},{"key":"ref28","author":"golumbic","year":"1980","journal-title":"Algorithmic Graph Theory and Perfect Graphs"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-013-7127-5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02253207"},{"key":"ref65","volume":"14","author":"wi?niewski","year":"2009","journal-title":"Synthesis of Compositional Microprogram Control Units for Programmable Devices"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45811-3"},{"key":"ref29","first-page":"47","article-title":"Formal verification of embedded logic controller specification with computer deduction in temporal logic","volume":"87","author":"grobelna","year":"2011","journal-title":"Przeglad Elektrotechniczny"},{"key":"ref67","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2478\/v10006-011-0030-1","article-title":"Design of microprogrammed controllers to be implemented in FPGAs","volume":"21","author":"wi?niewski","year":"2011","journal-title":"Int J Appl Math Comput Sci"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54900-7_52"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1063\/1.4938884"},{"key":"ref2","first-page":"55","article-title":"Systematic method of realization of interpreted Petri nets","volume":"1","author":"augin","year":"1980","journal-title":"Digital Processes"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11536444_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11628-5_26"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.5772\/9659"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14279-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74484-9_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_2"},{"key":"ref25","article-title":"System and method for maintaining n number of simultaneous cryptographic sessions using a distributed computing environment","author":"ellis","year":"2002"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1299\/jamdsm.1.262"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/BF02983861"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37291-9_27"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2013.28"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.mcm.2004.08.008"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297344"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872120"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32870-4"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1049\/ip-cdt:19941508","article-title":"petri-net-based algorithms for parallel-controller synthesis","volume":"141","author":"bilinski","year":"1994","journal-title":"Computers and Digital Techniques IEE Proceedings-"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.12.005"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9_6"},{"key":"ref12","author":"brown","year":"2000","journal-title":"Fundamentals of Digital Logic With VHDL Design"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_38"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147148"},{"key":"ref15","first-page":"347","article-title":"Quantitative Petri net model of gene regulated metabolic networks in the cell","volume":"3","author":"chen","year":"2003","journal-title":"Silico Biol"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2202108"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228421"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"ref19","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref4","author":"banaszak","year":"1993","journal-title":"Petri Nets Modeling Control and Synthesis of Discrete Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.989151"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04309-3"},{"key":"ref5","author":"bang-jensen","year":"2007","journal-title":"Digraphs Theory Algorithms and Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016204"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.890281"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2341933"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_37"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-22444-0_3"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1177\/02783640022066743"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1002\/scj.20388"},{"key":"ref42","author":"kubale","year":"2002","journal-title":"Discrete Optimisation models and methods of graph coloring"},{"key":"ref41","first-page":"1","article-title":"A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs","author":"kovalyov","year":"1995","journal-title":"Proc Int Workshop WODES"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.17"},{"key":"ref43","first-page":"27","article-title":"UML modelling in rogorous design methodology for discrete controllers","volume":"58","author":"?abiak","year":"2012","journal-title":"Int J Electron Telecommun"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/8287088\/07920333.pdf?arnumber=7920333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:28:52Z","timestamp":1642004932000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7920333\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":75,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2017.2692204","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3]]}}}