Petri Nets 2012 & ACSD 2012

• Home
• Events
  • Petri Nets 2012
  • ACSD 2012
  • Workshops
  • Petri Net Course
  • Tools Exhibition
  • Contest
• Programme
  • Overview
  • Keynotes
  • Social Programme
  • Session Schedule
  • Accepted Papers
• Travel Information
  • How to reach Hamburg
  • Conference Venue
  • Accommodation
  • Sightseeing
• Registration
• Committees
• Supporters
• Contact
• Impressum

Programme Overview (Preliminary)

Sunday, 24th June

• Petri Net Course

Monday, 25th June and Tuesday, 26th June

• Petri Net Course
• PNSE 2012: Petri Nets and Software Engineering
• BioPPN 2012: Biological Processes and Petri Nets
• WooPS 2012: Petri Net-based Security
• CompoNet 2012: Petri Net Compositions
• LAM 2012: Logics, Agents, and Mobility
• MCC 2012: Petri Net Model Checking Contest

Wednesday, 27th June

• ACSD 2012
• Petri Nets 2012
• Tools Exhibition

Thursday, 28th June

• ACSD 2012
• Petri Nets 2012

Friday, 29th June

• ACSD 2012
• Petri Nets 2012