{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:52:14Z","timestamp":1725508334870},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042481","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"582-587","source":"Crossref","is-referenced-by-count":2,"title":["A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets"],"prefix":"10.1109","author":[{"given":"Patrice","family":"Bonhomme","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041054"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.341845"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904281"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000028197.25480.d6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9059-0"},{"key":"ref16","first-page":"142","article-title":"Real-Time Synchronized Petri Nets","author":"serugendo","year":"2002","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0031995","article-title":"Timed Transition Systems","author":"henzinger","year":"1992","journal-title":"Proceedings of the Real-time Theory in Practice"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2017201"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393436"},{"key":"ref6","first-page":"94","article-title":"P-Time Petri nets for manufacturing systems","author":"khansa","year":"1996","journal-title":"WODES'96"},{"journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems","year":"1992","author":"david","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref7","article-title":"Verifying Time Petri nets by linear programming","author":"li","year":"1999","journal-title":"Tech Rep 259"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2001.974033"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042481.pdf?arnumber=6042481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:55:48Z","timestamp":1497945348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042481\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042481","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}