Petri Nets 2012 & ACSD 2012
Hamburg, Germany, June 25–29, 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
Page last modified: 2012/05/23