{"publication_status":"published","extern":"1","date_published":"1992-01-01T00:00:00Z","citation":{"short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice, Springer, 1992, pp. 226–251.","ama":"Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: <i>Real Time: Theory in Practice</i>. Vol 600. Springer; 1992:226-251. doi:<a href=\"https://doi.org/10.1007/BFb0031995\">10.1007/BFb0031995</a>","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1992). Timed transition systems. In <i>Real Time: Theory in Practice</i> (Vol. 600, pp. 226–251). Springer. <a href=\"https://doi.org/10.1007/BFb0031995\">https://doi.org/10.1007/BFb0031995</a>","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In <i>Real Time: Theory in Practice</i>, 600:226–51. Springer, 1992. <a href=\"https://doi.org/10.1007/BFb0031995\">https://doi.org/10.1007/BFb0031995</a>.","ista":"Henzinger TA, Manna Z, Pnueli A. 1992.Timed transition systems. In: Real Time: Theory in Practice. LNCS, vol. 600, 226–251.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “Timed transition systems,” in <i>Real Time: Theory in Practice</i>, vol. 600, Springer, 1992, pp. 226–251.","mla":"Henzinger, Thomas A., et al. “Timed Transition Systems.” <i>Real Time: Theory in Practice</i>, vol. 600, Springer, 1992, pp. 226–51, doi:<a href=\"https://doi.org/10.1007/BFb0031995\">10.1007/BFb0031995</a>."},"abstract":[{"text":"We incorporate time into an interleaving model of concurrency. In timed transition systems, the qualitative fairness requirements of traditional transition system are replaced (and superseded) by quantitative lower-bound and upperbound timing constraints on transitions. The purpose of this paper is to explore the scope of applicability for the abstract model of timed transition systems. We demonstrate that the model can represent a wide variety of phenomena that routinely occur in conjunction with the timed execution of concurrent processes. Our treatment covers both processes that are executed in parallel on separate processors and communicate either through shared variables or by message passing, and processes that time-share a limited number of processors under a given scheduling policy. Often it is this scheduling policy that determines if a system meets its real-time requirements. Thus we explicitly address such questions as time-outs, interrupts, static and dynamic priorities.","lang":"eng"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0031995"}],"language":[{"iso":"eng"}],"_id":"4507","doi":"10.1007/BFb0031995","page":"226 - 251","author":[{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Manna, Zohar","last_name":"Manna","first_name":"Zohar"},{"full_name":"Pnueli, Amir","last_name":"Pnueli","first_name":"Amir"}],"publication":"Real Time: Theory in Practice","day":"01","type":"book_chapter","date_updated":"2022-03-14T09:34:44Z","month":"01","article_processing_charge":"No","status":"public","acknowledgement":"Sponsor: IBM graduate fellowship, National Science Foundation grant CCR-89-11512 National Science Foundation grant CCR-89-13641,  Defense Advanced Research Projects Agency contract N00039-84-C-0211, United States Air Force Office of Scientific Research under contract AFOSR-90-0057,  European Community ESPRIT Basic Research Action project 3096 (SPEC)","title":"Timed transition systems","alternative_title":["LNCS"],"volume":600,"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"222","date_created":"2018-12-11T12:09:12Z","oa_version":"None","intvolume":"       600","publisher":"Springer","year":"1992"}