This volume consists of the proceedings of the 30th International Conference
on Applications and Theory of Petri Nets and Other Models of Concurrency
(PETRI NETS 2009). The Petri Net conferences serve as annual meeting places
to discuss the progress in the field of Petri nets and related models of concurrency.
They provide a forum for researchers to present and discuss both applications
and theoretical developments in this area. Novel tools and substantial
enhancements to existing tools can also be presented. The satellite program of
the conference comprised four workshops and seven tutorials. This year, the
conference was co-located with the 20th IEEE/IFIP International Symposium
on Rapid System Prototyping (RSP 2009). The two conferences shared five invited
speakers. Detailed information about PETRI NETS 2009 can be found at
http://petrinets2009.lip6.fr/.