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
  • Accepted Workshop Contributions
• 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

• Petri Net Course
• PNSE 2012: Petri Nets and Software Engineering
• BioPPN 2012: Biological Processes and Petri Nets
• LAM 2012: Logics, Agents, and Mobility

Tuesday, 26th June

• Petri Net Course Tutorial: Fluid and Hybrid Nets
• Petri Net Course Tutorial: Unfoldings
• PNSE 2012: Petri Nets and Software Engineering
• WooPS 2012: Petri Net-based Security
• CompoNet 2012: Petri Net Compositions
• MCC 2012: Petri Net Model Checking Contest

Wednesday, 27th June

(Please look at the detailed session schedule.)

• ACSD 2012
• Petri Nets 2012
• Tools Exhibition

Thursday, 28th June

(Please look at the detailed session schedule.)

• ACSD 2012
• Petri Nets 2012

Friday, 29th June

(Please look at the detailed session schedule.)

• ACSD 2012
• Petri Nets 2012