Meeting 2
Dates and location
Meeting 2 of the CATS project took place from July 22nd to July 25th, 2013 in Singapore.
Participants
- Étienne André (LIPN, Université Paris 13, Sorbonne Paris Cité, France)
- Lê Đình Thuận
- Lin Shang-Wei (林尚威) (Temasek Labs, National University of Singapore)
- Liu Yang (刘杨) (Nanyang Technological University, Singapore)
- Nguyễn Truong Khanh (School of Computing, National University of Singapore)
- Laure Petrucci (LIPN, Université Paris 13, Sorbonne Paris Cité, France)
- Quản Thành Thơ (Department of Software Engineering, Hồ Chí Minh City University of Technology, Việt Nam)
- Sun Jun, Singapore University of Technology and Design
- Wu Zhimin
Discussion
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
Presentations
Monterey paper: discussion on the extension to the timed case
Modular state space construction
Discussion between Laure and Lê Đình Thuận
Picture
