{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:37:15Z","timestamp":1729618635127,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/real.2004.9","type":"proceedings-article","created":{"date-parts":[[2005,4,6]],"date-time":"2005-04-06T11:12:58Z","timestamp":1112785978000},"page":"187-196","source":"Crossref","is-referenced-by-count":16,"title":["A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets"],"prefix":"10.1109","author":[{"given":"D.","family":"Lime","sequence":"first","affiliation":[]},{"given":"O.","family":"Roux","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739728"},{"journal-title":"The 25th International Conference on Application and Theory of Petri Nets (ICATPN'04)","article-title":"Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation","year":"2004","author":"roux","key":"22"},{"journal-title":"A study of the recoverability of computing systems","year":"1974","author":"merlin","key":"17"},{"journal-title":"Fixed Priority Scheduling Of Hard Real-Time Systems","year":"1994","author":"tindell","key":"23"},{"key":"18","first-page":"148","article-title":"Schedulability verification of realtime systems with extended time Petri nets","volume":"18","author":"okawa","year":"1996","journal-title":"International Journal of Mini and Microcomputers"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2003.1231549"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Technical Report","article-title":"State class stopwatch automaton of a scheduling extended time Petri net for the verification of real-time systems","year":"2004","author":"lime","key":"13"},{"journal-title":"5th IFAC International Conference on Fieldbus Systems and their Applications (FET'03)","article-title":"Expressiveness and analysis of scheduling extended time Petri nets","year":"2003","author":"lime","key":"14"},{"key":"11","first-page":"307","article-title":"Analyse d'ordonnanc?abilite? de ta?ches temps-re?el avec offset et gigue","author":"hladik","year":"2003","journal-title":"11th International Conference on Real-Time Systems (RTS'03)"},{"key":"12","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","article-title":"Model-checking for real-time systems","author":"larsen","year":"1995","journal-title":"Fundamentals of Computation Theory"},{"key":"21","article-title":"A t-time Petri net extension for real time-task scheduling modeling","volume":"36","author":"roux","year":"2002","journal-title":"European Journal of Automation (JESA)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212753"},{"key":"20","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/REAL.1999.818860","article-title":"Exploiting precedence relations in the scheduling analysis of distributed real-time systems","author":"palencia","year":"1999","journal-title":"Proc 20th IEEE Real-Time Systems Symp (RTSS '99)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563702"},{"journal-title":"IEICE Transactions on Information and Systems","article-title":"Linear programming and extensions","year":"1963","author":"dantzig","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","article-title":"The impressive power of stop-watches","author":"cassez","year":"2000","journal-title":"11th International Conference on Concurrency Theory (CONCUR'2000)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160365"},{"key":"8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","article-title":"Timed automata with asynchronous processes: Schedulability and decidability","volume":"2280","author":"fersman","year":"2002","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"25th IEEE International Real-Time Systems Symposium","location":"Lisbon, Portugal"},"container-title":["25th IEEE International Real-Time Systems Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9490\/30114\/01381306.pdf?arnumber=1381306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T20:13:59Z","timestamp":1549743239000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1381306\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/real.2004.9","relation":{},"subject":[]}}
