Petri Nets and ACSD 2012 – Session Schedule

Session Schedule

A downloadable version of the session schedule can be found here.

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 - Snoopya 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 Sole 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
- 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:
- 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
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. 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)
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 Invited Talk: Alain Finkel - The Theory of WSTS: The Case of Complete WSTS
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 - 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:
- 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):
- 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 2012 & ACSD 2012

Hamburg, Germany, June 25–29, 2012

Session Schedule

Wednesday, June 27th

Petri Nets Talks (Stochastic Nets):

ACSD Talks:

Petri Nets Talks (Process Mining):

ACSD Talks:

Petri Nets Talks (Workflow Nets):

ACSD Talks:

Thursday, June 28th

Petri Nets Talks (Semantics):

ACSD Talks:

Petri Nets Talks (Verification):

ACSD Talks:

Friday, June 29th

Petri Nets Talks (Coloured Petri Nets):

ACSD Talks:

Petri Nets Talks (Application and High-Level Nets):

ACSD Talks: