Formalisation en logique linéaire du fonctionnement des réseaux de Petri
En logique classique, la formalisation du fonctionnement des réseaux de Petri (RdP) se heurte à la pérennité de la vérité. En logique modale, elle impose la construction préalable du graphe des marquages accessibles. A contrario, la logique linéaire (LL) fondée par Girard permet de formaliser direct...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
1997
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00010245 http://tel.archives-ouvertes.fr/docs/00/04/84/64/PDF/tel-00010245.pdf |