{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:03:38Z","timestamp":1766268218619,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/hsi.2014.6860480","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T17:33:43Z","timestamp":1412789623000},"page":"227-231","source":"Crossref","is-referenced-by-count":13,"title":["Deadlock detection in Petri nets: One trace for one deadlock?"],"prefix":"10.1109","author":[{"given":"Andrei","family":"Karatkevich","sequence":"first","affiliation":[]},{"given":"Iwona","family":"Grobelna","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"250","article-title":"Application of an exact transversal hypergraph in selection of SM-components in Technological innovation for the internet of things","author":"stefanowicz","year":"2013","journal-title":"Heidelberg-Dordrecht"},{"journal-title":"Petri Nets Modelling Control and Synthesis of Discrete Systems Higher Technical School in Zielona Go?ra Zielona Go?ra","year":"1993","author":"banaszak kus?","key":"17"},{"key":"18","first-page":"4","article-title":"Field programmable implementation of programmable state machine","volume":"1","author":"adamski","year":"1999","journal-title":"Proc of the 3rd Intl Conf CAD DD99"},{"key":"15","article-title":"Petri nets for systems engineering. A guide to modeling","author":"girault","year":"2003","journal-title":"Verification and Applications"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"13","first-page":"218","article-title":"Concurrent simulation of concurrent discrete systems","author":"karatkevich","year":"2009","journal-title":"Proc of the Xth Intl Conf CADSM"},{"key":"14","first-page":"19","article-title":"Checking properties of the nets using transformation in Advances in Petri nets","volume":"222","author":"berthelot","year":"1985","journal-title":"LNCS"},{"key":"11","first-page":"279","article-title":"Trace theory in Advances in Petri nets, part II, Proceedings of an advanced course","volume":"255","author":"mazurkiewicz","year":"1986","journal-title":"LNCS"},{"key":"12","first-page":"205","article-title":"Optimal simulation, nets and reachability graphs in Advances in Petri nets","volume":"524","author":"janicki","year":"1991","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.001"},{"key":"20","first-page":"65","article-title":"Minimized representation of state machine subnets of Petri nets","author":"karatkevich","year":"2010","journal-title":"Proc of the 7th Intl Conf CAD DD 2010"},{"journal-title":"Grafcet Tools for Modelling Discrete Event Systems","year":"1992","author":"david","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"10","article-title":"Partial-order methods for the verification of concurrent systems: An approach to the state explosion problem","volume":"1032","author":"godefroid","year":"1996","journal-title":"LNCS"},{"key":"7","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","article-title":"The state explosion problem","volume":"1491","author":"valmari","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models LNCS"},{"key":"6","first-page":"6","article-title":"State of the art report: Stubborn sets","volume":"46","author":"valmari","year":"1994","journal-title":"Petri Net Newsletter"},{"key":"5","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":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"journal-title":"Modeling of the Discrete Control Devices Using SFC","year":"2000","author":"adamski","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2478\/eletel-2013-0038"}],"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\/06860480.pdf?arnumber=6860480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T18:04:26Z","timestamp":1498154666000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6860480\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hsi.2014.6860480","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}