Seminar Details
| Date |
4-5-2005 |
| Time |
11:00 |
| Room/Location |
218 |
| Title |
Expand, Enlarge and Check |
| Speaker |
Prof. Jean-Francois Raskin |
| Affiliation |
ULB Bruxelles |
| Link |
https://www.disi.unige.it/index.php?eventsandseminars/seminars
|
| Abstract |
In this talk we present new algorithms for the coverability problem of well-structured systems
(e.g. Lossy FIFO systems and Petri Net with transfer arcs). |
|
|
 |
