{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:36:11Z","timestamp":1761597371460},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,5,24]],"date-time":"2012-05-24T00:00:00Z","timestamp":1337817600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10626-012-0140-4","type":"journal-article","created":{"date-parts":[[2012,8,30]],"date-time":"2012-08-30T16:32:42Z","timestamp":1346344362000},"page":"197-209","source":"Crossref","is-referenced-by-count":17,"title":["Scheduling and control of real-time systems based on a token player approach"],"prefix":"10.1007","volume":"23","author":[{"given":"Patrice","family":"Bonhomme","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,24]]},"reference":[{"key":"140_CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17:259\u2013273","journal-title":"IEEE Trans Softw Eng"},{"key":"140_CR2","doi-asserted-by":"crossref","unstructured":"Boucheneb H, Berthelot G (1993) Towards a simplified building of time Petri nets reachability graph. In: Proc PNPM\u201993, pp 46\u201355","DOI":"10.1109\/PNPM.1993.393436"},{"issue":"4","key":"140_CR3","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/70.86074","volume":"7","author":"P Freedman","year":"1991","unstructured":"Freedman P (1991) Time, Petri nets, and robotics. IEEE Trans Robot Autom 7(4):417\u2013433","journal-title":"IEEE Trans Robot Autom"},{"key":"140_CR4","unstructured":"Khansa W, Denat JP, Collart S (1996) P-time Petri nets for manufacturing systems. In: Proc wodes\u201996, Edinburgh UK, 19\u201321 Aug 1996, pp 94\u2013102"},{"key":"140_CR5","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"Merlin P, Farber D (1976) Recoverability of communication protocols\u2014implications of a theoretical study. IEEE Trans Commun 24:1036\u20131043","journal-title":"IEEE Trans Commun"},{"issue":"4","key":"140_CR6","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"issue":"1","key":"140_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008252325849","volume":"8","author":"AS Sathaye","year":"1998","unstructured":"Sathaye AS, Krogh GH (1998) Supervisor synthesis for real-time discrete event systems. Discrete Event Dyn Syst 8(1):5\u201335","journal-title":"Discrete Event Dyn Syst"},{"key":"140_CR8","doi-asserted-by":"crossref","unstructured":"Wang H, Grigore L, Buy U, Darabi H (2007) Enforcing transition deadlines in time Petri nets. In: Proc the 12th IEEE conference on emerging technologies and factory automation. ETFA 2007, Greece, pp 604\u2013611","DOI":"10.1109\/EFTA.2007.4416824"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0140-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0140-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0140-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T07:19:11Z","timestamp":1562138351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0140-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,24]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["140"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0140-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,24]]}}}