Meeting 2

Dates and location

Meeting 2 of the CATS project took place from July 22nd to July 25th, 2013 in Singapore.



Implementation of a Petri nets module in PAT

Almost done, except synchronization (Lê Đình Thuận)

Survey on compositional analysis of timed systems

Work in progress; new directions given to Hữu Vũ, in particular references from Shang-Wei


Monterey paper: discussion on the extension to the timed case

Modular state space construction

Discussion between Laure and Lê Đình Thuận


CATS meeting July 2013

STIC Asie Centre National de la Recherche Scientifique, France

Hồ Chí Minh City University of Technology Laboratoire d’Informatique de Paris Nord, Sorbonne Paris Cité, Université Paris 13, France Nanyang Technology University, Singapore National University of Singapore, Singapore Singapore University of Technology and Design