Dear Colleagues,
the programme for the
33rd International Conference on Application and Theory of Petri Nets and
Concurrency
and the
12th International Conference on Application of Concurrency to System Design
in June in Hamburg, Germany, is now available on the conference website:
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/programme-talks.shtml
The programme for the satellite events will follow soon.
The early registration deadline is May 15th, 2012.
For more information, please visit:
http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/registration.shtml
-----
Programme:
Wednesday, June 27th
08:00 -- Opening Session
09:00 -- Invited Talk: Joost-Pieter Katoen - GSPNs Revisited: Simple Semantics
and New Analysis Algorithms
10:00 -- Break
10:30 -- Session 1
Petri Nets Talks (Stochastic Nets):
Thomas Mailund, Anders Halager and Michael Westergaard - Using
Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic
Translation from Demographic Specifications to Efficient Inference Methods
Simon Spinner, Samuel Kounev and Philipp Meier - Stochastic Modeling
and Analysis using QPME: Queueing Petri Net Modeling Environment v2.0
Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr and Martin
Schwarick - Snoopy -- a unifying Petri net tool
ACSD Talks:
Tim Strazny and Roland Meyer - An Algorithmic Framework for
Coverability in Well-Structured Systems
Lukasz Mikulski and Maciej Koutny - Hasse Diagrams of Combined Traces
Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev and Alex Yakovlev
- Algebra of Parametrised Graphs
12:00 -- Lunch Break
13:45 -- Session 2
Petri Nets Talks (Process Mining):
Marc Solé and Josep Carmona - SMT-based Discovery Algorithm for
C-nets
Wil Van Der Aalst - Decomposing Process Mining Problems Using
Passages
ACSD Talks:
Javier Esparza and Christian Kern - Reactive and Proactive Diagnosis
of Distributed Systems using Net Unfoldings
Sven Linker - Translating Structural Process Properties to Petri Net
Markings
14:45 -- Break
15:00 -- Invited Talk: Bart Jacobs - Topics in Computer Security
16:00 -- Break
16:30 -- Session 3
Petri Nets Talks (Workflow Nets):
Guanjun Liu, Jun Sun, Yang Liu and Jinsong Dong - Complexity of the
Soundness Problem of Bounded Workflow Nets
María Martos-Salgado and Fernando Rosa-Velardo - Cost Soundness for
Priced Resource-Constrained Workflow nets
Eric Badouel - On the alpha-Reconstructibility of Workflow Nets
ACSD Talks:
Andrey Mokhov, Victor Khomenko, Danil Sokolov and Alex Yakovlev - On
Dual-Rail Control Logic for Enhanced Circuit Robustness
Andrew Mundy, Terrence Mak, Alex Yakovlev, Simon Davidson and Steve
Furber - Large-Scale On-Chip Dynamic Programming Network Inferences using
Moderated Inter-Core Communication
Jakob Lechner, Martin Lampacher and Thomas Polzer - A Robust
Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
18:00 -- End of Talks
Thursday, June 28th
09:00 -- Invited Talk: Sir C. A. R. (Tony) Hoare - A Net-based Model for the
Algebra of Concurrent Programming
10:00 -- Break
10:30 -- Session 4
Petri Nets Talks (Semantics):
Matthias Weidlich and Jan Martijn van der Werf - On Profiles and
Footprints - Relational Semantics for Petri Nets
Dirk Fahland and Robert Prüfer - Data and Abstraction for
Scenario-Based Modeling with Petri Nets
Xu Wang - Maximal Confluent Processes
ACSD Talks:
Antti Valmari - All Linear-Time Congruences for Finite LTSs and
Familiar Operators
Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matus Madzin and
Vojtech Rehak - Sequence Chart Studio
Ricardo J. Rodríguez, Jorge Julvez and Jose Merseguer - PeabraiN: A
PIPE Extension for Performance Estimation and Resource Optimisation
12:00 -- Lunch Break
13:30 -- Tool Demo (Joint Session)
14:45 -- Break
15:00 -- Invited Talk: Jens Sparsø - Networks-on-chip for real-time
multi-processor systems-on-chip
16:00 -- Break
16:30 -- Session 5
Petri Nets Talks (Verification):
Antti Valmari and Henri Hansen - Old and New Algorithms for Minimal
Coverability sets
Andreas Lehmann, Niels Lohmann and Karsten Wolf - Stubborn Sets for
Simple Linear Time Properties
Sami Evangelista and Lars Kristensen - Hybrid LTL Model Checking
with the Sweep-Line Method
Astrid Rakow - Safety Slicing Petri Nets
ACSD Talks:
Olli Saarikivi, Kari Kähkönen and Keijo Heljanko - Improving Dynamic
Partial Order Reductions for Concolic Testing
Antti Siirtola, Antti Puhakka and Gerald Lüttgen - Introducing
Fairness into Compositional Verification via Unidirectional Counters
Adnan Bouakaz, Jean-Pierre Talpin and Jan Vitek - Affine Data-Flow
Graphs for the Synthesis of Hard Real-Time Applications
18:30 -- End of Talks
Friday, June 29th
09:00 -- Alain Finkel - The theory of well-structured transition systems
10:00 -- Break
10:30 -- Session 6
Petri Nets Talks (Coloured Petri Nets):
Veronica Gil Costa, Jair Lobos, Alonso Inostrosa-Psijas and Mauricio
Marin - Capacity Planning for Vertical Search Engines: An approach based on
Coloured Petri Nets
Joyce Nakatumba, Michael Westergaard and Wil Van Der Aalst - Testing
Algorithms for Operational Support Using Colored Petri Nets
Štefan Korečko and Ján Marcinčin - Multiple Simulations Management
with CPN Assistant II
ACSD Talks:
Walter Vogler, Christian Stahl and Richard Müller - A Trace-Based
Semantics for Responsiveness
Hanifa Boucheneb and Kamel Barkaoui - Reachability Analysis of
P-Time Petri Nets with Parametric Markings
Marc Solé and Josep Carmona - A High-level Strategy for C-net
Discovery
12:00 -- Lunch Break
13:30 -- Session 7
Petri Nets Talks (Application and High-Level Nets)
Debjyoti Bera, Kees Van Hee and Jan Martijn Van Der Werf - Designing
Weakly Terminating ROS Systems
Frederic Cristini and Catherine Tessier - Nets-within-nets to model
innovative space system architectures
Frank Heitmann and Michael Köhler-Bußmeier - P- and T-Systems in the
Nets-within-Nets-Formalism
ACSD Talks:
Jasen Markovski and Michel Reniers - Verifying Performance of
Supervised Plants
Souheib Baarir, Maximilien Colange, Fabrice Kordon and Yann
Thierry-Mieg - State Space Analysis using Symmetries on Decision Diagrams
Luca Pazzi and Marco Pradelli - Modularity and Part-Whole
Compositionality for Computing the State Semantics of Statecharts
15:00 -- Break
15:15 -- Closing Session
16:00 -- End of Conference----
[[ 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] ]]
