Workshops and Tutorials
Sunday, 19th June
Petri Net Course
Monday, 20th June
Petri Net Course
PNSE 2011: Petri Nets and Software Engineering
BioPPN 2011: Biological Processes and Petri Nets
Verification with LoLA (tutorial) (see supporting website for tutorial materials)
Elementary Net Synthesis (tutorial)
Tuesday, 21st June
Petri Net Course
PNSE 2011: Petri Nets and Software Engineering
ART 2011: Applications of Region Theory
CompoNet 2011: Petri Net Compositions
SUMo 2011: Scalable and Usable Model Checking for Petri Nets and other models of Concurrency
More information will follow.
