Petri Nets 2012 & ACSD 2012
Hamburg, Germany, June 25–29, 2012
Photo: www.mediaserver.hamburg.de, C. Spahrbier
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
Page last modified: 2011/10/21