{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T01:15:43Z","timestamp":1773105343151,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616481","type":"print"},{"value":"9783540706533","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:55Z","timestamp":1330294195000},"page":"246-262","source":"Crossref","is-referenced-by-count":4,"title":["Exhaustive computation of the scheduled task execution sequences of a real-time application"],"prefix":"10.1007","author":[{"given":"Annie","family":"Choquet-Geniet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Geniet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francis","family":"Cottet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","unstructured":"E. Best, C. Fernandez, \u201cNotations and terminology on Petri nest\u201d, Arbeitspapiere der GMD, Sank Augustin, vol. 195, 1986"},{"key":"14_CR2","first-page":"83","volume":"188","author":"H. Cartensen","year":"1984","unstructured":"H. Cartensen, R. Valk, \u201cInfinite behaviour and fairness in Petri nest\u201d, Advances in Petri nets 188, pp 83\u2013100, 1984","journal-title":"Advances in Petri nets"},{"issue":"24","key":"14_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF01995676","volume":"2","author":"M. Chen","year":"1990","unstructured":"M. Chen, K. Lin, \u201cDynamic priority ceilings: a concurrency protocol for real-time systems\u201d, Real-time systems 2 (24), pp 325\u2013346, 1990","journal-title":"Real-time systems"},{"key":"14_CR4","unstructured":"A. Choquet-Geniet, G. Vidal-Naquet, \u201cR\u00e9seaux de Petri et syst\u00e8mes parall\u00e8les\u201d, Editions Armand Colin, 1993"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"F. Cottet, J.P. Babau, \u201cOff-line temporal analysis of hard real-time applications\u201d, second IEEE Workshop on Real-Time apllications, Washington DC, 1994","DOI":"10.1109\/RTA.1994.316137"},{"key":"14_CR6","unstructured":"K. Jensen, \u201c High level Peti nets\u201d, Advanced course on Petrinets, Bad-Honnef, 1986"},{"key":"14_CR7","volume-title":"Some theorems on real-time scheduling","author":"J. Labetoulle","year":"1974","unstructured":"J. Labetoulle, \u201cSome theorems on real-time scheduling\u201d, E. Gelenbe and R. Mahl (eds) Computer Architecture and networks, Amsterdam, 1974"},{"issue":"1","key":"14_CR8","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"C.L. Liu, J.W. Layland, \u201cScheduling algorithms for multiprogramming in a hard real-time environment\u201d, Journal of the ACM, 20 (1), pp 46\u201361, 1973","journal-title":"Journal of the ACM"},{"issue":"3","key":"14_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"11","author":"J.Y.T. Leung","year":"1980","unstructured":"J.Y.T. Leung, M.L. Merill, \u201cA note on preemptive scheduling of periodic real-time tasks\u201d, Information Processing Letters 11(3), pp 115\u2013118, 1980","journal-title":"Information Processing Letters"},{"key":"14_CR10","unstructured":"P. Martineau, M. Silly, \u201cEvaluation d'algorithmes d'ordonnancement temps r\u00e9el en pr\u00e9sence de ressources partag\u00e9es\u201d, Lan-ECN internal repport, 94.4, Ecole Centrale de Nantes, 1994"},{"key":"14_CR11","unstructured":"A.K. Mok, M.L. Dertouzos, \u201cMulti processor scheduling in a hard real-time environment\u201d, 7th Texas conference on computer Systems, 1978"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"R. Rajkumar, \u201cSynchronisation in real-time systems: a priority inheritance approach\u201d, Kluwer Academc Publishers, 1991","DOI":"10.1007\/978-1-4615-4000-7"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig, \u201cPetri nets\u201d, EATCS monographs on Theoritical Computer Science, Springer Verlag, 1985","DOI":"10.1007\/978-3-642-69968-9"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"L. Sha, R. Rajkumar, J. Lehockzy, \u201cPriority inheritance protocols: an approach to real time synchronisation\u201d, IEEE transaction computers, vol 39, N\u2218 9, 1990","DOI":"10.1109\/12.57058"},{"key":"14_CR15","unstructured":"M. Silly, \u201cla tol\u00e9rance aux fautes dans un syst\u00e8me temps-r\u00e9el \u00e0 contraintes strictes\u201d, INRIA report, 512, 1986"},{"issue":"10","key":"14_CR16","doi-asserted-by":"crossref","first-page":"0","DOI":"10.1109\/2.7053","volume":"21","author":"J.A. Stankovic","year":"1988","unstructured":"J.A. Stankovic, \u201cMisconception about Real-TimeComputing: a seriuous problem for the next generation systems\u201d, IEEE Computer Magazine, 21 (10), lpp 0\u201319, 1988","journal-title":"IEEE Computer Magazine"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"R. Valk, G. Vidal-Naquet, \u201cPetri nets and regular languages\u201d, Journal of Computer and System Sciences, vol. 23, n\u2218 3, Academic press, 1981","DOI":"10.1016\/0022-0000(81)90067-2"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:02Z","timestamp":1605647342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}