|
Evènement pour le groupe Séminaire Méthodes Formelles
Date | 2017-05-09 11:00-12:00 |
Titre | WBTS: the new class of WSTS without WQO. |
Résumé | We present the ideal framework [FG09a,BFM14] which was recently used to obtain new deep results on Petri nets and extensions. If time, we will present the proof of the famous but unknown Erdös-Tarski theorem. We argue that the theory of ideals prompts a renewal of the theory of WSTS by providing a way to define a new class of monotonic systems, the so-called Well Behaved Transition Systems, which properly contains WSTS, and for which coverability is still decidable by a forward algorithm. |
Lieu | 76 |
Orateur | Alain Finkel |
Email | http://www.lsv.ens-cachan.fr/~finkel/ |
Url | LSV, ENS Cachan |
Aucun document lié à cet événement. RetourRetour à l'index
| |