15.30-16.30, Seminar Hall
WBTS, the new class of WSTS without wqo
Alain Finkel
LSV (ENS Cachan), France.
25-01-17

---

Abstract

We present the ideal framework [FG09a,BFM14] which was recently used to obtain new deep results on Petri nets and extensions. 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.

The paper is accepted at LMCS and it is on : https://arxiv.org/abs/1608.02636