Rede de Petri temporizada
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Agosto de 2021) |
 |
Redes de Petri temporizadas são implementações de tempo às transições, ou às posições nas redes de Petri clássicas. Motivado Ramchandani desenvolveu redes de Petri temporizadas.[necessário esclarecer] Mais especificamente, necessitamos, de uma maneira ou outra, modelar a quantidade de tempo onde possa simular que um evento ocorra.
A inclusão do tempo em um modelo de redes de Petri pode ser feito unindo o tempo às transições, tendo por resultado uma rede de Petri com transições temporizadas (RPTT), ou aos lugares, tendo por resultado uma rede de Petri com posições temporizadas (RPPT). Ambas as aproximações são equivalentes.
Referências bibliográficas[editar | editar código-fonte]
[1] JENSEN, Kurt, Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use Vol. 1, Editora Springer, Berlin, 1996
[2] MURATA, T., Petri Nets – Properties, Analysis and Aplications., Continuações na IEEE Vol. 77 número 4, 541 – 580, Abril 1989
[3] ROZENBERG, G., BRAUER, W., REISIG W., Petri Nets – Central Models and Their Properties, Advances in Petri Nets, Editora Springer-Verlag, Berlin, 1987.
[4] DESROCHERS, A., AL-JAAR, R., Aplications of Petri Nets in Manufacturing Systems – Modeling, Control and Performance Analysis, IEEE Press, 1995.