{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:30:04Z","timestamp":1725557404198},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/coase.2015.7294179","type":"proceedings-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T17:56:58Z","timestamp":1444327018000},"page":"799-806","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques"],"prefix":"10.1109","author":[{"given":"Zhennan","family":"Fei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Symbolic supervisory control of resource allocation systems","year":"2014","author":"fei","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2266793"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2167150"},{"key":"ref16","article-title":"A correctness analysis for the algorithm presented in symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques","author":"fei","year":"2015","journal-title":"Chalmers University of Technology Tech Rep 2014"},{"key":"ref17","first-page":"384","article-title":"Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems","author":"\u00e5kesson","year":"2006","journal-title":"Proc 8th Int Workshop Discrete Event Syst"},{"journal-title":"javabdd sourceforge net","article-title":"JavaBDD","year":"0","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2369858"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_16"},{"key":"ref5","article-title":"Symbolic model checking with partitioned transition relations","author":"burch","year":"1991","journal-title":"Proceedings of 1991 Intl Conf on VLSI"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582579"},{"article-title":"Efficient analysis of discrete event systems","year":"2004","author":"vahidi","key":"ref7"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2004","author":"zhou","key":"ref2"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2303134"}],"event":{"name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2015,8,24]]},"location":"Gothenburg, Sweden","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7279855\/7294025\/07294179.pdf?arnumber=7294179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:30:38Z","timestamp":1490380238000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7294179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2015.7294179","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}