A Primitive Recursive Algorithm for the General Petri Net Reachability Problem
Résumé
The general Petri net reachability problem is shown to be decidable in double exponential space. The previous algorithm is non-primitive recursive.
Rapport
(Rapport De Recherche)
Année : 1998
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00073286
Soumis le : mercredi 24 mai 2006-12:26:18
Dernière modification le : vendredi 24 mars 2023-14:52:47
Archivage à long terme le : dimanche 4 avril 2010-23:41:17
Dates et versions
Identifiants
- HAL Id : inria-00073286 , version 1
Citer
Zakaria Bouziane. A Primitive Recursive Algorithm for the General Petri Net Reachability Problem. [Research Report] RR-3404, INRIA. 1998. ⟨inria-00073286⟩
Collections
300
Consultations
505
Téléchargements