{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:23:35Z","timestamp":1730204615426,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1272447","type":"proceedings-article","created":{"date-parts":[[2004,6,3]],"date-time":"2004-06-03T20:14:56Z","timestamp":1086293696000},"page":"5113-5117","source":"Crossref","is-referenced-by-count":0,"title":["Study on real-time discrete event systems by using controlled temporal timed-Petri-nets"],"prefix":"10.1109","author":[{"family":"Changyou Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yongjian Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"341","article-title":"Modelling, Analysis and Control of DEDS in the Framework of Temporal Logic: A Case Study","author":"tian","year":"1996","journal-title":"13th IFAC World Congress"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933645"},{"key":"10","first-page":"113","article-title":"Temporal Logic Model for Hybrid Systems","author":"tian","year":"1997","journal-title":"Proc of 2nd Asian Control Conference"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1991.187347"},{"key":"4","first-page":"641","article-title":"Fundamental Properties and Applications of Temporal Petri Nets","author":"suzuki","year":"1985","journal-title":"Proc 9th Annu Conf Infor Sci Sys"},{"key":"9","first-page":"373","article-title":"Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic","volume":"24","author":"tian","year":"1998","journal-title":"ACTA AUTOMATICA SINICA (in Chinese)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55210-3_173"},{"key":"11","first-page":"15","article-title":"Hybrid Model of Combining Petri Nets with Temporal Logic for a Class of Hybrid Systems","volume":"19","author":"li","year":"2000","journal-title":"Chinese J of Computing Technology and Automation"},{"key":"12","first-page":"103","article-title":"Temporal feature and controllability of timed Petri net based on markings sequence","volume":"14","author":"li","year":"1999","journal-title":"Chin Contr Decision"}],"event":{"name":"42nd IEEE International Conference on Decision and Control","acronym":"CDC-03","location":"Maui, HI, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28459\/01272447.pdf?arnumber=1272447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:05:47Z","timestamp":1489453547000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1272447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1272447","relation":{},"subject":[]}}