Você está aqui: Página Inicial > Área Acadêmica > Ementas de Disciplinas > Análise Temporal de Sistemas Dinâmicos (ATS-0048)
conteúdo

Análise Temporal de Sistemas Dinâmicos (ATS-0048)

por tassia — publicado 03/05/2019 09h02, última modificação 03/05/2019 09h02

Modelos Temporais, Redes de Petri temporais e temporizadas, Grafos de Transição, Autômatos e autômatos, temporizados, Análise / verificação, Grafo de classes, Semânticas "trace"/ processos, Verificação usando autômatos temporizados, Análise baseada em roteiros

Bibliografia:

M. Menasche: Parâmetros Temporais em Redes de Petri. Relatório Interno 8, DEE/PUC-RIO, 1996

B. Barthomieu & M. Diaz: Modeling and Verification of Time dependent Systems using Petri Nets. IEEE Trans. on Software Eng. 17(3), 1991.

R. Alur & D. L. Dill: A theory of timed automata. Theoretical Computer Science 126, 183-225, 1994.

T. Aura: Time Processes of Petri Nets. Ph.D. Thesis, Helsinky University of Technology, 1996.

T. Murata: Temporal Uncertainty and Fuzzy Timing High Level Petri Nets. 17th. Int. Conf. Applications and Theory of Petri Nets, 1996.

L. A. Kunzle, R. Vallete & B. Pradin-Chézaviel: Temporal Reasoning in Time Petri Nets. Fuzziness in Petri Nets (Studies in fuzziness and soft computing). Physika Verlag, 1999.