CALL FOR PARTICIPATION
12th International Conference on Application of Concurrency to System
Design (ACSD 2012)
Hamburg, Germany, 25-29 June 2012
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/
REGISTRATION
Early registration deadline: 15 May 2012
Cancellation deadline: 01 Jun 2012
CO-LOCATED CONFERENCE
33rd International Conference on Application and Theory of Petri Nets and
Concurrency
CO-LOCATED WORKSHOPS (submission deadline 15 Apr)
PNSE 2012 (Petri Nets and Software Engineering )
Organisers: Lawrence Cabac, Michael Duvigneau, and Daniel Moldt
BioPPN 2012 (Biological Processes and Petri Nets)
Organisers: Monika Heiner and Ralf Hofestaedt
WooPS 2012 (Petri Net-based Security)
Organisers: Rafael Accorsi, Tadao Murata, and Silvio Ranise
CompoNet 2012 (Petri Net Compositions)
Organisers: Hanna Klaudel and Franck Pommereau
LAM 2012 (Logics, Agents, and Mobility)
Organisers: Berndt Müller (Farwer) and Michael Köhler-Bußmeier
INVITED SPEAKERS
Tony Hoare
Joost-Pieter Katoen
Alain Finkel
Jens Sparsø
Bart Jacobs
ACCEPTED PAPERS
Tim Strazny and Roland Meyer.
An Algorithmic Framework for Coverability in Well-Structured Systems
Antti Valmari.
All Linear-Time Congruences for Finite LTSs and Familiar Operators
Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev and Alex Yakovlev.
Algebra of Parametrised Graphs
Antti Siirtola, Antti Puhakka and Gerald Lüttgen.
Introducing Fairness into Compositional Verification via Unidirectional
Counters
Walter Vogler, Christian Stahl and Richard Müller.
A Trace-Based Semantics for Responsiveness
Jasen Markovski and Michel Reniers.
Verifying Performance of Supervised Plants
Andrew Mundy, Terrence Mak, Alex Yakovlev, Simon Davidson and Steve Furber.
Large-Scale On-Chip Dynamic Programming Network Inferences using Moderated
Inter-Core Communication
Hanifa Boucheneb and Kamel Barkaoui.
Reachability Analysis of P-Time Petri Nets with Parametric Markings
Sven Linker.
Translating Structural Process Properties to Petri Net Markings
Lukasz Mikulski and Maciej Koutny.
Hasse Diagrams of Combined Traces
Marc Solé and Josep Carmona.
A High-level Strategy for C-net Discovery
Andrey Mokhov, Victor Khomenko, Danil Sokolov and Alex Yakovlev.
On Dual-Rail Control Logic for Enhanced Circuit Robustness
Jakob Lechner, Martin Lampacher and Thomas Polzer.
A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
Olli Saarikivi, Kari Kähkönen and Keijo Heljanko.
Improving Dynamic Partial Order Reductions for Concolic Testing
Ricardo J. Rodríguez, Jorge Julvez and Jose Merseguer.
PeabraiN: A PIPE Extension for Performance Estimation and Resource
Optimisation
Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matus Madzin and Vojtech
Rehak.
Sequence Chart Studio
Javier Esparza and Christian Kern.
Reactive and Proactive Diagnosis of Distributed Systems using Net Unfoldings
Souheib Baarir, Maximilien Colange, Fabrice Kordon and Yann Thierry-Mieg.
State Space Analysis using Symmetries on Decision Diagrams
Adnan Bouakaz, Jean-Pierre Talpin and Jan Vitek.
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Luca Pazzi and Marco Pradelli.
Modularity and Part-Whole Compositionality for Computing the State
Semantics of Statecharts
TOOL EXHIBITION
The Tool Exhibition consists of informal demonstrations for small
groups/individuals
without any scheduled talks.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
