Universidad Complutense de Madrid
E-Prints Complutense

Decidability of properties of timed-arc Petri nets



Último año

Frutos Escrig, David de y Valero Ruiz, Valentín y Marroquín Alonso, Olga (2000) Decidability of properties of timed-arc Petri nets. In Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings. Lecture notes in computer science (1825). Springer, pp. 187-206. ISBN 978-3-540-67693-5

Vista previa

URL Oficial: http://link.springer.com/content/pdf/10.1007%2F3-540-44988-4_12

URLTipo de URL


Timed-arc Petri nets (TAPN’s) are not Turing powerful, because, in particular, they cannot simulate a counter with zero testing. Thus, we could think that this model does not increase significantly the expressiveness of untimed Petri nets. But this is not true; in a previous paper we have shown that the differences between them are big enough to make the reachability problem undecidable. On the other hand, coverability and boundedness are proved now to be decidable. This fact is a consequence of the close interrelationship between TAPN’s and transfer nets, for which similar results have been recently proved. Finally, we see that if dead tokens are defined as those that cannot be used for firing any transition in the future, we can detect these kind of tokens in an effective way.

Tipo de documento:Sección de libro
Palabras clave:Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.); Decidability of theories and sets of sentences
Materias:Ciencias > Informática
Código ID:20695
Depositado:08 Abr 2013 11:34
Última Modificación:10 Aug 2018 08:31

Descargas en el último año

Sólo personal del repositorio: página de control del artículo