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.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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