{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:29:23Z","timestamp":1729643363262,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/hsi.2014.6860481","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T21:33:43Z","timestamp":1412804023000},"page":"232-237","source":"Crossref","is-referenced-by-count":17,"title":["Decomposition, validation and documentation of control process specification in form of a Petri net"],"prefix":"10.1109","author":[{"given":"Iwona","family":"Grobelna","sequence":"first","affiliation":[]},{"given":"Monika","family":"Wisniewska","sequence":"additional","affiliation":[]},{"given":"Remigiusz","family":"Wisniewski","sequence":"additional","affiliation":[]},{"given":"Michal","family":"Grobelny","sequence":"additional","affiliation":[]},{"given":"Piotr","family":"Mroz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"185","article-title":"Automata implementation in FPGA devices with multiple encoding states","author":"bukowiec","year":"2009","journal-title":"Electrical Review"},{"key":"17","article-title":"Application of hypergraphs in decomposition of discrete systems","volume":"23","author":"wis?niewska","year":"2012","journal-title":"LNCCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_13"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Dynamic Analysis of PNet-based Discrete Systems","year":"2007","author":"karatkevich","key":"16"},{"key":"13","first-page":"145","article-title":"Specification of UML 2.4 HSM and its computer based implementation by means of Verilog","volume":"11","author":"bazydlo","year":"2011","journal-title":"Electrical Review"},{"key":"14","first-page":"109","article-title":"Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams","author":"grobelny","year":"2012","journal-title":"Proc of 11th IFAC\/IEEE International Conference on Programmable Devices and Embedded Systems Brno"},{"key":"11","first-page":"40","article-title":"Formal verification of embedded logic controller specification with computer deduction in temporal logic","volume":"12","author":"grobelna","year":"2011","journal-title":"Przegla?d Elektrotechniczny"},{"key":"12","first-page":"2013","article-title":"Formal verification of logic controller specification by means of model checking","volume":"24","author":"grobelna","year":"0","journal-title":"University of Zielona Go?ra Press Lecture Notes in Control and Computer Science"},{"journal-title":"Hypergraphs Combinatorics of Finite Sets","year":"1989","author":"berge","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147148"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1013"},{"year":"0","key":"23"},{"key":"24","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","author":"martinez","year":"1982","journal-title":"Selected Papers from the European Workshop on App and Theory of Petri Nets"},{"key":"25","first-page":"118","article-title":"Top-down synthesis of live and bounded free choice nets","author":"esparza","year":"1990","journal-title":"App and Theory of Petri Nets90"},{"key":"26","first-page":"616","article-title":"Concurrency relation and safety problem for petri nets","author":"kovalyov","year":"1992","journal-title":"Proc Int Conf Application and Theory of Petri Nets LNCS"},{"key":"27","first-page":"141","article-title":"Computation of Petri nets covering by SM-components based on the graph theory","volume":"8","author":"karatkevich","year":"2012","journal-title":"Przegla?d Elektrotechniczny"},{"key":"28","first-page":"650","article-title":"A polynomial algorithm to compute the concurrency hypergraph in Petri nets","volume":"58","author":"wis?niewski","year":"2012","journal-title":"Measurement Automation and Monitoring"},{"journal-title":"Logic synthesis for VLSI design","year":"1992","author":"rudell","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"2","first-page":"95","article-title":"Hardware Implementation of a control program in FPGA structures","volume":"88","author":"mocha","year":"2012","journal-title":"Przegla?d Elektrotechniczny"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"1","first-page":"51","article-title":"Modeling formalisms for embedded system design","author":"gomes","year":"2006","journal-title":"Embedded Systems Handbook Taylor & Francis Group LLC"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53856-8_55"},{"key":"30","first-page":"250","article-title":"Application of an exact transversal hypergraph in selection of SM-components","author":"stefanowicz","year":"2013","journal-title":"4th IFIP WG 5 5\/SOCOLNET"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03809-3"},{"journal-title":"OMG Unified Modeling Language (OMG UML)","year":"2011","key":"5"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2038946"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/CADSM.2007.4297535"},{"journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-540-69850-0_2","article-title":"The beginning of model checking: A personal perspective","volume":"45","author":"emerson","year":"2008","journal-title":"25 Years of Model Checking History Achievements Perspectives"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"8"}],"event":{"name":"2014 7th International Conference on Human System Interactions (HSI)","start":{"date-parts":[[2014,6,16]]},"location":"Costa da Caparica","end":{"date-parts":[[2014,6,18]]}},"container-title":["2014 7th International Conference on Human System Interactions (HSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851791\/6860435\/06860481.pdf?arnumber=6860481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:04:26Z","timestamp":1498169066000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6860481\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/hsi.2014.6860481","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}