{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:57:57Z","timestamp":1730293077217,"version":"3.28.0"},"reference-count":10,"publisher":"Institute of Electrical and Electronics Engineers","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.1987.1087786","type":"proceedings-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T19:54:47Z","timestamp":1111607687000},"page":"1960-1965","source":"Crossref","is-referenced-by-count":4,"title":["Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction"],"prefix":"10.1109","volume":"4","author":[{"given":"T.","family":"Murata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Komoda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"103","article-title":"A Petri Net Based Programmable Logic Controller","author":"valette","year":"1983","journal-title":"Proc of First Int Conf on Computer Applications in Production and Engineering"},{"key":"ref3","first-page":"83","article-title":"Programmable Logic Controller and Petri Nets A Comparative Study","author":"silva","year":"1982","journal-title":"Proc of the IFAC Conf on Software for Computer Control"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659029"},{"key":"ref6","article-title":"Large Petri net Development Support Features of Petri net based Real time Controller","volume":"ess 3 4","author":"murata","year":"1986","journal-title":"SICE'86"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.1986.351700"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1980.1084711"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313357"},{"key":"ref2","first-page":"194","article-title":"Mark Flow Graph and its Application to Complex Sequential Control System","author":"masuda","year":"1980","journal-title":"Proc Hawaii Int Conf on System Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1084918"},{"journal-title":"Petri-Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref1"}],"event":{"name":"1987 IEEE International Conference on Robotics and Automation","location":"Raleigh, NC, USA"},"container-title":["Proceedings. 1987 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8153\/23644\/01087786.pdf?arnumber=1087786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:00:12Z","timestamp":1489424412000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1087786\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/robot.1987.1087786","relation":{},"subject":[]}}