{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:05:37Z","timestamp":1725545137700},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/robio.2010.5723437","type":"proceedings-article","created":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T07:53:28Z","timestamp":1299311608000},"page":"850-855","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets"],"prefix":"10.1109","author":[{"given":"Weijun","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.122"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.341845"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/87.998024"},{"key":"ref13","first-page":"3582","article-title":"Petri Net Controller Synthesis for Event System Using Weighted Inhibitor Arc","author":"wu","year":"2001","journal-title":"Proceeding of the IEEE International Conference on Robotics and Automation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2007.4522181"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"UPPAAL: A Tool-Suite for Automatic Verification of Real-Time Systems","author":"bengtsson","year":"1996","journal-title":"Proceedings of the DIMACS\/SYCON workshop on Hybrid systems III Verification and control"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"article-title":"Du garfect aux r’ eseaux de Petri","year":"0","author":"david","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.538604"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2006.313733"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1999.814201"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.159837"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008047130023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01094342"}],"event":{"name":"2010 IEEE International Conference on Robotics and Biomimetics (ROBIO)","start":{"date-parts":[[2010,12,14]]},"location":"Tianjin, China","end":{"date-parts":[[2010,12,18]]}},"container-title":["2010 IEEE International Conference on Robotics and Biomimetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5720496\/5723286\/05723437.pdf?arnumber=5723437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T22:30:49Z","timestamp":1592346649000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5723437\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/robio.2010.5723437","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}