Petri Nets and ACSD 2012 – Session Schedule

Session Schedule

Note: Detailed information about all events is also collected in the programme booklet.

Download: Here you can download a pdf version of the session schedule.

Wednesday, June 27th

08:00 Registration ESA-W 221
08:30 Opening Session ESA-B
09:00 Invited Talk: Joost-Pieter Katoen - GSPNs Revisited: Simple Semantics and New Analysis Algorithms ESA-B
10:00 Break
10:30 Session 1
Petri Nets Talks (Stochastic Nets): ESA-C
- 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: ESA-W 221
- 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): ESA-C
- Marc Sole and Josep Carmona - SMT-based Discovery Algorithm for C-nets
- Wil Van Der Aalst - Decomposing Process Mining Problems Using Passages
ACSD Talks: ESA-W 221
- 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 ESA-C
16:00 Break
16:30 Session 3
Petri Nets Talks (Workflow Nets): ESA-O 221
- Guanjun Liu, Jun Sun, Yang Liu and Jinsong Dong - Complexity of the Soundness Problem of Bounded Workflow Nets
- Maria 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: ESA-W 221
- 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 Distinguished Carl Adam Petri Lecture: Sir C. A. R. (Tony) Hoare - Net Models for Concurrent Object Behaviour ESA-A
10:00 Break
10:30 Session 4
Petri Nets Talks (Semantics): ESA-M
- 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: ESA-W 221
- 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. Rodriguez, 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) ESA-W 221
14:45 Break
15:00 Invited Talk: Jens Sparsø - Networks-on-chip for real-time multi-processor systems-on-chip ESA-B
16:00 Break
16:30 Session 5
Petri Nets Talks (Verification): ESA-M
- 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: ESA-W 221
- 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 Invited Talk: Alain Finkel - The Theory of WSTS: The Case of Complete WSTS ESA-C
10:00 Break
10:30 Session 6
Petri Nets Talks (Coloured Petri Nets): ESA-W 221
- 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 - An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
- Stefan Korecko, Jan Marcincin and Viliam Slodicak - CPN Assistant II: A Tool for Management of Networked Simulations
ACSD Talks: ESA-C
- 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 Sole 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): ESA-W 221
- 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: ESA-C
- 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 ESA-W 221
16:00 End of Conference

Petri Nets 2012 & ACSD 2012

Hamburg, Germany, June 25–29, 2012

Session Schedule

Wednesday, June 27th

Petri Nets Talks (Stochastic Nets): ESA-C

ACSD Talks: ESA-W 221

Petri Nets Talks (Process Mining): ESA-C

ACSD Talks: ESA-W 221

Petri Nets Talks (Workflow Nets): ESA-O 221

ACSD Talks: ESA-W 221

Thursday, June 28th

Petri Nets Talks (Semantics): ESA-M

ACSD Talks: ESA-W 221

Petri Nets Talks (Verification): ESA-M

ACSD Talks: ESA-W 221

Friday, June 29th

Petri Nets Talks (Coloured Petri Nets): ESA-W 221

ACSD Talks: ESA-C

Petri Nets Talks (Application and High-Level Nets): ESA-W 221

ACSD Talks: ESA-C