ACSD/Petri Nets Workshops 2010: Braga, Portugal

Biological Processes & Petri Nets (BioPPN)

Applications of Region Theory (ART)

Petri Nets and Software Engineering (PNSE)

Abstractions for Petri Nets and Other models of Concurrency (AP- NOC) and Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo)

maintained by Schloss Dagstuhl LZI, founded at University of Trier