Tomas Singliar's homepage

CS2001

The final presentation is a brief informal overview of the paper "Synchronicity and Concurrency in Petri Nets", accepted to 24th International Conference on Application and Theory of Petri Nets June 23-27 2003, Eindhoven, The Netherlands. More techical and detailed slides are here (ps) (pdf).