Timed Automata with Action Durations – From Theory to Implementation-Reference-Cited by-同舟云学术

Timed Automata with Action Durations – From Theory to Implementation

Published:2014 Issue: Volume: Page:94-109
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Guellati Souad,Kitouni Ilham,Matmat Riadh,Saidouni Djamel-Eddine

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11958-8_8

Reference26 articles.

1. Alur, R.: Timed Automata. Theoretical Computer Science 126, 183–235 (1999)

2. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real- Time. Information and Computation 104(1), 2–34 (1993)

3. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183–235 (1994)

4. Barbuti, R., De Francesco, N., Tesei, L.: Timed Automata with non-instantaneous Actions. Fundamenta Informaticae-Concurrency Specification and Programming 47(3-4), 189–200 (2001)

5. Belala, N., Saidouni, D.E., Boukharrou, R., Chaouche, A.C., Seraoui, A., Chachoua, A.: Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 4(2), 62–83 (2013)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Self-Healing in Web Service-Based Systems Using QoS;International Journal of Technology Diffusion;2022-08-05

2. Formal Modeling and Analysis of Business Process Timed Constraints;Formalisms for Reuse and Systems Integration;2015

3. Relative Timed Model for Coordinated Multi Agent Systems;IFIP Advances in Information and Communication Technology;2015