Topics: Petri nets: formalization, tool development, applications Web applications Formalization of HW/SW design and verification techniques Mid-term presentations