{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T23:21:12Z","timestamp":1774048872527,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/cca.2009.5281100","type":"proceedings-article","created":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T15:41:39Z","timestamp":1255362099000},"page":"1649-1654","source":"Crossref","is-referenced-by-count":0,"title":["Towards a supervisory control policy for time critical systems"],"prefix":"10.1109","author":[{"given":"Patrice","family":"Bonhomme","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique (LI) of the University Fran\u00e7ois-Rabelais de Tours, 64 Avenue Jean Portalis, 37200, FRANCE"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2076397"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.01.018"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008252325849"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.821419"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"6","article-title":"Control and Performances Evaluation of Time Dependent Systems Using an Enumerative Approach","author":"bonhomme","year":"2006","journal-title":"Proceedings of IEEE Conference on Control Applications (CCA\/ISIC)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393436"},{"key":"4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","article-title":"Petri Nets for Modeling of Dynamic Systems - A survey","volume":"30","author":"david","year":"1994","journal-title":"Automatica"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4"},{"key":"8","first-page":"94","article-title":"P-Time Petri Nets for Manufacturing Systems","author":"khansa","year":"1996","journal-title":"Proceedings of'Wodes'96"}],"event":{"name":"2009 IEEE Control Applications, (CCA) & Intelligent Control, (ISIC)","location":"St. Petersburg, Russia","start":{"date-parts":[[2009,7,8]]},"end":{"date-parts":[[2009,7,10]]}},"container-title":["2009 IEEE Control Applications, (CCA) & Intelligent Control, (ISIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5268173\/5280693\/05281100.pdf?arnumber=5281100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T22:45:01Z","timestamp":1774046701000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5281100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cca.2009.5281100","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}