La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

The Legal Firing Sequence Problem of Petri Nets Le problème légal de la séquence de déclenchement des réseaux de Petri

Toshimasa WATANABE

  • Vues en texte intégral

    0

  • Citer

Résumé:

Le sujet de l'article est de donner un aperçu et les derniers résultats sur le problème de séquence de déclenchement légal des réseaux de Petri (LFS pour faire court). LFS est très fondamental dans le sens où il apparaît comme un sous-problème ou une forme plus simple de divers problèmes fondamentaux de la théorie des réseaux de Petri, tels que le problème bien connu d'accessibilité du marquage, le problème d'allocation initiale minimale de ressources, le problème de vivacité (de niveau 4) , le problème de planification, etc. Cependant, résoudre LFS en général, ce n'est pas facile : c'est NP -difficile même pour les réseaux de Petri ayant des structures très simples. Cette intransigeance de LFS nous a peut-être empêché de produire des algorithmes efficaces pour ces problèmes. Alors des recherches sur LFS du point de vue de la complexité informatique, cela semble gratifiant.

Publication
IEICE TRANSACTIONS on Information Vol.E83-D No.3 pp.397-406
Date de publication
2000/03/25
Publicisé
ISSN en ligne
DOI
Type de manuscrit
INVITED SURVEY PAPER
Catégories
Algorithmes graphiques

Auteurs

Mots-clés

Table des matières