Table of Contents

• Preface
  Bernd-Holger Schlingloff
  

Session W1: Plenary talk

• Trying to Understand PEG 1-12
  Roman Redziejowski

Session W2a: Timed Systems

• Timed Processes of Interval-Timed Petri Nets 13-24
  Elisabeth Pelz
• On Generation of Time-based Label Refinements 25-36
  Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma
• Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract) 37-48
  Agnieszka Zbrzezny, Andrzej Zbrzezny

Session W2b: Rough Sets

• Rough Sets and Sorites Paradox 49-60
  Andrzej Jankowski, Andrzej Skowron, Piotr Wasilewski
• A Version of Rough Mereology Suitable for Rough Sets 61-67
  Lech Polkowski
• Rough Set Based Approximations of Classes in the OWL Ontology of Places in Poland (extended abstract) 68-73
  Piotr Grochowalski, Krzysztof Pancerz, Tomasz Szul

Session W3a: Petri Nets

• Reversing Transitions in Bounded Petri Nets 74-85
  Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
• Towards Efficient Verification of Elementary Object Systems 86-100
  Ismaila Jihad Abdullahi, Berndt Müller

Session W3b: Ontology & Information Systems

• Context-dependent Lexical and Syntactic Disambiguation in Ontology Population 101-112
  Natalia Garanina, Elena Sidorova
• Semantic Rendering of Data Tables - Multivalued Information Systems Revisited 113-124
  Marcin Wolski, Anna Gomolinska

Session T1a: Hybrid Systems

• Considering Superposition in the Composable Hybrid Automata 125-140
  Jafar Akhundov, Peter Tröger, Matthias Werner
• Extending Taylor Approximation to Hybrid Systems with Integrals 141-152
  Ruggero Lanotte, Simone Tini

Session T1b: Applications

• Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks 153-164
  Mikulas Pataky, Damas Gruska

Session T2a: Planning

• A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract) 165-170
  Maciej Szreter
• TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract) 171-179
  Artur Niewiadomski, Wojciech Penczek

Session T2b: Data Analysis

• An Algorithmic Way to Generate Simplexes for Topological Data Analysis 180-188
  Krzysztof Rykaczewski, Piotr Wisniewski, Krzysztof Stencel

Session F1a: Probabilistic Verification

• Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking 189-198
  Artur Rataj, Bozena Wozna-Szczesniak
• A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract) 199-208
  Marcin Copik, Artur Rataj, Bozena Wozna-Szczesniak

Session F1b: Opacity & Synthesis

• Process Environment Opacity 209-220
  Damas Gruska
• Coordinator Synthesis for Hierarchical Structure of Artificial Neural Network 221-232
  Stanislaw Placzek

Session F2a: Classical Methods Improved

• On the Model Checking of Sequential Reactive Systems 233-244
  Darya Kozlova, Vladimir Zakharov
• Computing Bisimulation-Based Comparisons 245-256
  Linh Anh Nguyen

Session F2b: New Domains Conquered

• Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract) 257-268
  Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
• Shapes of Concurrency 269-273
  Piotr Chrzastowski-Wachtel

Session F3: Closing Session

• A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps 274-285
  Ludwik Czaja

Additional Items

• Author and Keyword Index 286-290
  (indexed by article number)
• Complete proceedings in one ZIP file
• Complete proceedings in one PDF file (at the CS&P 2016 home page)