Petri Nets 2010, ACSD 2010 - Braga, Portugal

PETRI NETS 2010

ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal

Invited Speakers

In 2010, the PETRI NETS and the ACSD conferences will feature five distinguished keynote speakers of international reputation:

David Harel
David Harel
Dept. of Computer Science and Applied Mathematics
The Weizmann Institute of Science
Israel

Some Thoughts on Behavioral Programming
(Distinguished Carl Adam Petri Lecture)
Kim Guldstrand Larsen
Gabriel Juhás
Gabriel Juhás
Faculty of Electrical Engineering and Information Technology
Slovak University of Technology
Slovak Republic

Instance Deadlock: A Mystery Behind Frozen Programs
Maciej Koutny
Maciej Koutny
School of Computing Science
Newcastle University
United Kingdom

Petri Nets with Localities and Testing
Lars M. Kristensen

Lars M. Kristensen
Department of Computer Engineering, Faculty of Engineering
Bergen University College
Norway

A Perspective on Explicit State Space Exploration of Coloured Petri Nets - Past, Present, and Future