This volume contains the Proceedings of 22nd Concurrency, Speci cation and Programming (CS&P) Workshop held on September 25-27, 2013 in Warsaw. There were 48 submissions. Each submission was reviewed by two program committee members. The committee decided to accept 40 papers. The Workshop was initiated in the mid 1970s by computer scientists and mathematicians from Warsaw and Humboldt Universities, as Polish-German annual meetings. They were suspended for some years in the 1980s and reactivated in 1992. Thereafter, the Workshop, organized alternatingly by the Institutes of Informatics and Mathematics of the University of Warsaw and the Institute of Informatics of Humboldt University in Berlin on the basis of an exchange program, has been given the name CS&P. It should be mentioned that the CS&P meetings, initially purely bilateral, since 1992 have developed into events attended by participants from a number of di erent countries beside Poland and Germany. The present CS&P'2013 meeting attracted contributors from: Canada, Egypt, France, Germany, Italy, Nepal, The Netherlands, Poland, Russia, Serbia, Slovakia, Sweden, Turkey, United Kingdom, United States, and Vietnam. The organisation of this year's CS&P would not be possible without the resources and nancing provided by several institutions. We would like to thank the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw and the Institute of Informatics of the Humboldt University of Berlin for the continuing nancial and organisational support provided to CS&P over last twenty-two years. The essential nancial backing received from the Warsaw Center of Mathematics and Computer Science made the organisation of CS&P 2013 possible. Our thanks go to the Bialystok University of Technology for providing the means for publishing this proceedings volume. Last, but not the least, we are grateful for the signi cant nancial support provided by the Vistula University in Warsaw.
iii
Hans-Dieter Burkhard Humboldt Universitat zu Berlin Ludwik Czaja The University of Warsaw and Vistula University Anna Gomolinska University of Bialystok Monika Heiner Brandenburg University at Cottbus Magdalena Kacprzak Bialystok University of Technology Anh Linh Nguyen The University of Warsaw Hung Son Nguyen The University of Warsaw Wojciech Penczek Institute of Computer Science, Polish Academy of
Sciences Lech Polkowski Polish-Japanese Institute of Information Technology Louchka Popova-Zeugmann Humboldt Universitat zu Berlin Holger Schlinglo Fraunhofer FIRST and Humboldt Universitat zu
Berlin Serhat Seker Istanbul Technical University and Vistula University Andrzej Skowron The University of Warsaw Zbigniew Suraj University of Rzeszow Marcin Szczuka The University of Warsaw Matthias Werner TU Chemnitz Karsten Wolf University of Rostock
The members of the Program Committee want to thank the following persons for contributing to the review process of CS&P 2013.
Piotr Chrzastowski-Wachtel Mario Haustein Andrzej Jankowski Michal Knapik Irina Lomazova Artur Meski Christian Rohr Andrzej Salwicki Matteo Sammartino
Martin Schwarick Jaroslaw Skaruz Maciej Szreter Dominik Slezak Wojciech Swieboda Jozef Winkowski Boz_ena Wozna-Szczesniak Olena Yaskorska DNA Tiles, Wang Tiles and Combinators : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Marco Bellia and Maria Eugenia Occhiuto Engineering MAS { A Device Integration Framework for Smart Home Environments : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Jack Betts and Berndt Muller Experiments with Simulated Humanoid Robots : : : : : : : : : : : : : : : : : : : : : : :
Hans-Dieter Burkhard and Monika Domanska Searching for Concepts in Natural Language Part of Fire Service Reports
Kamil Bak, Adam Krasuski and Marcin Szczuka A Rule Format for Rooted Branching Bisimulation : : : : : : : : : : : : : : : : : : : :
Valentina Castiglioni, Ruggero Lanotte and Simone Tini A Rewriting Based Monitoring Algorithm for TPTL : : : : : : : : : : : : : : : : : : :
Ming Chai and Holger Schlinglo Sound Recoveries of Structural Work ows with Synchronization : : : : : : : : :
Piotr Chrzastowski-Wachtel, Pawel Golab and Bartosz Lewinski Floating Channels Between Communicating Nets : : : : : : : : : : : : : : : : : : : : :
Ludwik Czaja The Mathematical Model for Interference Simulation and Optimization in 802.11n Networks : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : Iwona Dolinska, Antoni Masiukiewicz and Grzegorz Rzadkowski 1 15 27 39 49 61 73 88 99 A Domain View of Timed Behaviors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 111
Roman Dubtsov, Elena Oshevskaya and Irina Virbitskaite A Multi-agent Approach to Unstructured Data Analysis Based on Domain-speci c Onthology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 122
Natalia Garanina, Elena Sidorova and Evgeny Bodin An Explicit Formula for Sorting and its Application to Sorting in Lattices 133
Jens Gerlach Rough Inclusion Functions and Similarity Indices : : : : : : : : : : : : : : : : : : : : : 145
Anna Gomolinska and Marcin Wolski E cient Rough Set Theory Merging : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 157
Adam Grabowski Opacity Testing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 169 Damas Gruska
v Structural and Dynamic Restrictions of Elementary Object Systems : : : : : 181
Frank Heitmann and Michael Kohler-Bu meier Causal Structures for General Concurrent Behaviours : : : : : : : : : : : : : : : : : : 193
Ryszard Janicki, Jetty Kleijn, Maciej Koutny and Lukasz Mikulski Interactive Complex Granules : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 206
Andrzej Jankowski, Andrzej Skowron and Roman Swiniarski Identi cation of Formal Fallacies in a Natural Dialogue : : : : : : : : : : : : : : : : 219
Magdalena Kacprzak and Anna Sawicka Discovery of Cancellation Regions within Process Mining Techniques : : : : 232
Anna Kalenkova and Irina A. Lomazova Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 245
Joanna Karbowska-Chilinska and Pawel Zabielski Parameter Synthesis for Timed Kripke Structures : : : : : : : : : : : : : : : : : : : : : 259
Michal Knapik and Wojciech Penczek Voronoi Based Strategic Positioning for Robot Soccer : : : : : : : : : : : : : : : : : : 271 Heinrich Mellmann, Ste en Kaden, Marcus Scheunemann and HansDieter Burkhard Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current Sensors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 283
Heinrich Mellmann, Marcus Scheunemann and Oliver Stadie Towards a Jason Infrastructure for Soccer Playing Agents : : : : : : : : : : : : : : 294
Dejan Mitrovic, Mirjana Ivanovic and Hans-Dieter Burkhard An ExpTime Tableau Method for Dealing with Nominals and Quanti ed Number Restrictions in Deciding the Description Logic SHOQ 296
Linh Anh Nguyen and Joanna Golinska-Pilarek SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework : : 309
Artur Niewiadomski, Wojciech Penczek and Jaroslaw Skaruz Granular Mereotopology:A First Sketch : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 322
Lech Polkowski and Maria Semeniuk-Polkowska SMT-Based Reachability Checking for Bounded Time Petri Nets : : : : : : : : 332
Agata Polrola, Piotr Cybula and Artur Meski A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 342 Piotr Przymus, Krzysztof Stencel and Krzysztof Kaczmarski
vi From EBNF to PEG : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 383
Roman Redziejowski