The following Workshops will take place on Monday June 23rd and Tuesday June 24th

The programme of the workshops are available on the corresponding web sites.

5th Int. Workshop on Formal Methods for Security (FMS) (Monday)

Organized by Veronique Cortier and Riadh Robbana

5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014) (Monday)

Organized by Alia Benkahla and Monika Heiner
Related event: Petri nets for Multiscale Systems Biology Tutorial

International Workshop on Petri Nets and Software Engineering (PNSE'14) (Monday& Tuesday)

Organized by Daniel Moldt and Heiko Rölke

1st Int. Workshop on Petri Nets for Adaptive Discrete-Event Control Systems (Tuesday)

Organized by Mohamed Khalgui and Zhiwu Li