A Primitive Recursive Algorithm for the General Petri Net Reachability ProblemReportar como inadecuado




A Primitive Recursive Algorithm for the General Petri Net Reachability Problem - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Abstract : The general Petri net reachability problem is shown to be decidable in double exponential space. The previous algorithm is non-primitive recursive.

Keywords : DECIDABILITY POLYNOMIAL PETRI NET REACHABILITY





Autor: Zakaria Bouziane -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados