Petri Nets and ACSD Session Schedule

Wednesday, June 25th

08:15 Registration

09:00 Opening Session

09:30 Invited Talk (session chair: Ekkart Kindler)
  • Kurt Lautenbach: Propagation Nets
10:30 Break

11:00 Petri Nets Talks (Workflow) (session chair: Piotr Chrzastowski-Wachtel)
  • Jose Antonio Mateo, Jiri Srba and Mathias Grund Sørensen: Soundness of Timed-Arc Workflow Nets
  • Anna A. Kalenkova, Irina A. Lomazova and Wil van der Aalst: Process Model Discovery: A Method Based on Transition System Decomposition
  • Sander J.J. Leemans, Dirk Fahland and Wil M.P. van der Aalst: Discovering Block-Structured Process Models from Incomplete Event Logs
11:00 ACSD Talks (Logic and model-checking)
  • Michał Knapik, Artur Meski and Wojciech Penczek. Action Synthesis for Branching Time Logic: Theory and Applications
  • Yves-Stan Le Cornec and Franck Pommereau. Modular mu-calculus model-checking with formula-dependent hierarchical abstractions
12:30 Lunch

14:30 Invited Talk (session chair: Gianfranco Ciardo)
  • Christel Baier: Energy-utility analysis using probabilistic model checking
15:30 Break

16:00 Petri Nets Talks (Tool papers) (session chair: Mohamed Khalgui)
  • Elvio Gilberto Amparore, Marco Beccuti and Susanna Donatelli: (Stochastic) Model Checking in GreatSPN
  • Edmundo López Bóbeda, Maximilien Colange and Didier Buchs: StrataGEM: A Generic Petri Net Verification Framework
  • Mostafa Herajy and Monika Heiner: A Steering Server for Collaborative Simulation of Quantitative Petri Nets
  • Stanislav Böhm, Marek Běhálek, Ondrej Meca and Martin Surkovsky: Kaira: Development Environment for MPI Applications
16:00 ACSD Talks (Automata)
  • Arpit Sharma and Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata
  • Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li and Danny Bøgsted Poulsen. Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
  • Ferenc Bujtor and Walter Vogler. Failure Semantics for Modal Transition Systems
  • Nicolas D'Ippolito, Victor Braberman, Nir Piterman and Sebastian Uchitel. Controllability in Partial and Uncertain Environments
18:00 End of talks

Thursday, June 26th

09:00 Distinguished Carl Adam Petri Lecture (session chair: Maciej Koutny)
  • W. Murray Wonham: Supervisory Control Synthesis for Discrete-Event Systems
10:00 Break

10:30 Petri Nets Talks (Synthesis and new formalisms) (session chair: Jörg Desel)
  • Eike Best and Raymond Devillers: Synthesis of Persistent Systems
  • Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma: Learning Transparent Data Automata
  • Pawel Sobocinski and Owen Stephens: A Programming Language for Spatial Distribution of Net Systems
10:30 ACSD Talks (Dataflow) (session chair: Alex Yakovlev)
  • Robert de Groote, Philip Hölzenspies, Jan Kuper and Gerard Smit. Multi-Rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs
  • Waheed Ahmad, Robert De Groote, Philip K.F. Hölzenspies, Mariëlle Stoelinga and Jaco van de Pol. Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
  • Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers and Kees van Berkel. Cyclo-Static Data Flow Model for TDM
12:00 Lunch

13:30 Tool exhibition

14:30 Invited Talk
  • Stephen A. Edwards : Functioning Hardware from Functional Languages
15:30 Break

16:00 Petri Nets Talks (Partial order semantics) (session chair: Kaïs Klaï)
  • Giovanni Casu and G. Michele Pinna: Flow Unfolding of Multi-clock Nets
  • Paolo Baldan and Alberto Carraro: Non-interference by Unfolding
  • Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa and Arthur H.M. Ter Hofstede: The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
  • Robert Lorenz, Markus Huber and Günther Wirsching: On Weighted Petri Net Transducers
16:00 ACSD Talks (Programming and runtime support) (session chair: Jörg Desel)
  • Florian Furbach, Roland Meyer, Klaus Schneider and Maximilian Senftleben. Memory Model-aware Testing - a Unified Complexity Analysis
  • Aurelien Deharbe and Frederic Peschanski. The Omniscient Garbage Collector: a Resource Analysis Framework
  • Thomas Carle, Manel Djemal, Dumitru Potop Butucaru, Robert De Simone and Zhen Zhang. Static mapping of real-time applications onto massively parallel processor arrays
  • Ashur Rafiev, Alexei Iliasov, Alexander Romanovsky, Andrey Mokhov, Fei Xia and Alex Yakovlev. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework
18:00 End of talks

Friday, June 27th

09:00 Invited Talk (session chair: Kamel Barkaoui)
  • Matthieu Latapy: Complex Networks and Link Streams for the Empirical Analysis of Large Software
10:00 Break

10:30 Petri Nets Talks (Analysis) (session chair: Raymond Devillers)
  • Florent Avellaneda and Rémi Morin: Exhibition of a Structural Bug with Wings
  • Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, and Gianfranco Balbo: Analysis of Petri Net Models through Stochastic Differential Equations
  • María Martos-Salgado and Fernando Rosa-Velardo: Dynamic Networks of Timed Petri Nets
10:30 ACSD Talks (Unfolding and Tools) (session chair: Walter Vogler)
  • Vasileios Germanos, Stefan Haar, Victor Khomenko and Stefan Schwoon. Diagnosability under Weak Fairness
  • Kari Kähkönen and Keijo Heljanko. Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution
  • Imen Khemaissia, Olfa Mosbahi and Mohamed Khalgui. New Automatic Agent-based Solutions for Feasible Reconfigurable MP-SoC Architectures
  • Fabrice Kordon and Francis Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking
12:00 Lunch

14:00 Petri Nets Talks (Net properties) (session chair: Didier Buchs)
  • Ernst W. Mayr and Jeremias Weihmann: A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
  • Thomas Hujsa, Jean-Marc Delosme and Alix Munier-Kordon: On the Reversibility of Well-behaved Weighted Choice-Free Systems
14:00 ACSD Talks (Interaction) (session chair: Marta Pietkiewicz-Koutny)
  • Loic Helouet, S. Akshay and Madhavan Mukund. Sessions with an unbounded number of agents
  • Antti Siirtola. Parametrised Interface Automata
  • Jaime Arias, Myriam Desainte-Catherine and Camilo Rueda. Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
15:30 Special Talk devoted to Wilfried Brauer by Wolfgang Reisig

15:45 Break

16:15 Closing session

17:00 End of conference