Table of Contents

Table of Contents
Volume 1
Context Machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
I.S. Anureev
1
Simulated Maze Solving Algorithms through Unknown Mazes . . . . . . . . . .
Micha̷l Babula
13
Time-Independent Liveness in Time Petri Nets . . . . . . . . . . . . . . . . . . . . . . .
Jörg Bachmann, Louchka Popova-Zeugmann
23
Tag Abstraction for XCCS Modelling Language . . . . . . . . . . . . . . . . . . . . . . .
Krzysztof Balicki, Marcin Szpyrka
26
Interpretation of Some Systems Security Notions in Biological Diagnostics
Roberto Barbuti, Damas P. Gruska, Andrea Maggiolo-Schettini,
Paolo Milazzo
38
Nonviolence Petri Nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Kamila Barylska, L
̷ ukasz Mikulski, Edward Ochmański
50
On the Single-periodic Representation of Reachability in One-counter Nets
Vladimir A. Bashkin
60
Java𝛺: A Translation Semantics for Closures in Java . . . . . . . . . . . . . . . . . .
Marco Bellia, M. Eugenia Occhiuto
72
Update of Probabilistic Beliefs: Implementation and Parametric
Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Katarzyna Budzyńska, Magdalena Kacprzak, Pawe̷l Rembelski
Agent Oriented Techniques for Programming Autonomous Robots . . . . . .
Hans-Dieter Burkhard
84
96
Extending the HCBR Adaptive Behavior Control to Multi-Robotics
Humanoid Soccer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Hans-Dieter Burkhard, Bassant Mohamed El-Bagoury,
Heinrich Mellmann, Abdel-Badeeh M. Salem
Algorithm and Agent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
Krzysztof Cetnarowicz
On Synthesis and Analysis of Net Structures and Transition Graphs
with Inhibitor Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Ludwik Czaja, Manfred Kudlek
VIII
Algorithm for Feature Subsets Quality Boosting . . . . . . . . . . . . . . . . . . . . . . 134
Pawe̷l Delimata, Zbigniew Suraj
Developing Parallel Programs with Algebra of Algorithms and Heuristic
Facilities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
Anatoliy Doroshenko, Mykola Kotyuk, Sergiy Nikolayev,
Georgiy Tseytlin, Olena Yatsenko
Can Robots Solve the Assignment Problem? . . . . . . . . . . . . . . . . . . . . . . . . . . 154
N.O. Garanina, N.V. Shilov, and L.E. Konyaev
Judgement of Satisfiability Under Incomplete Information . . . . . . . . . . . . . . 164
Anna Gomolińska
CBR-based Retrieval Technique for Clinical Research Support . . . . . . . . . . 176
Nadezhda Govedarova, Sonja Niepage, Hans-Dieter Burkhard
Open Maps Account of Timed Barbed Bisimulation . . . . . . . . . . . . . . . . . . . 185
Natalya Gribovskaya, Irina Virbitskaite
Process Defined Security . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
Damas P. Gruska
Dynamical Version of the Intelligent Catalogue in the Project OpEN.SC
Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
Friedrich Hildebrand, Gabriela Lindemann–von Trzebiatowski,
Danilo Schmidt
Towards Formal Testing of Jet Engine Rolls-Royce BR725 . . . . . . . . . . . . . 217
Greg Holland, Temesghen Kahsai, Markus Roggenbach,
Bernd-Holger Schlingloff
Improved method of verifying Estelle with VerICS . . . . . . . . . . . . . . . . . . . . . 229
Agata Janowska, Tomasz Uliński
Learning a Rule-based Similarity: A comparison with the Genetic
Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241
Andrzej Janusz
A BDD-based BMC Approach for the Verification of Multi-Agent Systems 253
Andrew V. Jones, Alessio Lomuscio
On Defining Safeness for Object Nets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
Michael Köhler-Bußmeier and Frank Heitmann
Bounded Parametric Verification for Time Petri Nets with
Discrete-Time Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
Micha̷l Knapik, Wojciech Penczek, Agata Pó̷lrola
IX
Petri Nets with May/Must Semantics – Preserving Properties through
Data Refinements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
Olga Kouchnarenko, Natalia Sidorova, Nikola Trčka
Minimal Regions of ENL-transition Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 303
Maciej Koutny, Marta Pietkiewicz-Koutny
On Closure Properties of Sentential Form Languages of Words and
Multisets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
Manfred Kudlek
On a Hierarchy of Multiset Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327
Manfred Kudlek, Patrick Totzke
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 337
Volume 2
Test Case Generation from Workflow-based Requirement Specifications . . 339
Hartmut Lackner, Jaroslav Svacina, Holger Schlingloff
Workflow Process Re-Engineering with Interacting Workflow Nets . . . . . . . 351
Irina A. Lomazova
Partial Order Reduction for Model Checking Interleaved Multi-agent
Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Runtime Monitoring of Contract Regulated Web Services . . . . . . . . . . . . . . 373
Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter
Model Checking Optimisation Based Congestion Control Models . . . . . . . . 386
Alessio Lomuscio, Ben Strulo, Nigel Walker, Peng Wu
Active Landmark Selection for Vision-Based Self-Localization . . . . . . . . . . . 398
Heinrich Mellmann
On Distributing Coalition Structure Generation . . . . . . . . . . . . . . . . . . . . . . . 406
Tomasz Michalak, Jacek Sroka, Michael Wooldridge, Peter McBurney
Extending the Description Horn Logic DHL? . . . . . . . . . . . . . . . . . . . . . . . . . 419
Linh Anh Nguyen
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL? . . . 431
Linh Anh Nguyen, Andrzej Sza̷las
Parametric Model Checking with VerICS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443
Artur Niewiadomski, Wojciech Penczek, Agata Pó̷lrola, Maciej Szreter,
Andrzej Zbrzezny
X
A Case of Planning and Programming of a Concurrent Behavior:
Planning and Navigating with Formations of Robots . . . . . . . . . . . . . . . . . . 455
Pawe̷l Ośmia̷lowski
Petri Hypernets with Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467
Wies̷law Paw̷lowski
Several Remarks on Extensions and Restrictions of Information
Systems: the Lattice Theory Perspective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
Marek Pa̷lasiński, Krzysztof Pancerz
On Intensional Aspects of Concepts Defined in Rough Set Theory . . . . . . . 486
Lech Polkowski, Maria Semeniuk–Polkowska
Discovering Implicit Dependencies Between Source Code Artifacts by
Mining Software Development Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 498
L
̷ ukasz Pu̷lawski
Associative Omega-Product of Traces Represented by Projections . . . . . . . 505
Roman R. Redziejowski
Mouse: From Parsing Expressions to a Practical Parser . . . . . . . . . . . . . . . . 514
Roman R. Redziejowski
Boolean Functions Minimization on Patterns . . . . . . . . . . . . . . . . . . . . . . . . . 526
Bohdan Rytsar
Approximation Spaces Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538
Andrzej Skowron, Jaros̷law Stepaniuk, James F. Peters,
Roman Swiniarski
SAT as a Programming Environment for Linear Algebra and Cryptanalysis 550
Marian Srebrny, Mateusz Srebrny, Lidia Stȩpień
Parallel Maximum Matching with GPU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 562
Piotr Stańczyk
Toward Intelligent Searching the Rough Set Database System (RSDS):
an Ontological Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574
Zbigniew Suraj, Piotr Grochowalski, Katarzyna Garwol,
Krzysztof Pancerz
Approximation of Loss and Risk in Granular Context . . . . . . . . . . . . . . . . . . 582
Marcin Szczuka
Probabilistic Sorting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 594
Roman Szostek
Performance Evaluation in dtsPBC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 602
Igor V. Tarasyuk
XI
Global Decisions Taking on the Basis of Multi-Agent System with a
Hierarchical Structure and Density-Based Algorithm . . . . . . . . . . . . . . . . . . 616
Alicja Wakulicz-Deja, Ma̷lgorzata Przyby̷la-Kasperek
Petri Nets with Time Windows: Liveness Behavior and Time Deadlocks . 628
Jan-Thierry Wegener
Multiplicative Transition Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 637
Józef Winkowski
Rough Sets and Near Sets. Perceptual Topologies of Indiscernibles . . . . . . 649
Marcin Wolski
SAT-based Searching for 𝑘-quasi-optimal Runs in Weighted Timed
Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 661
Bożena Woźna-Szcześniak and Andrzej Zbrzezny
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673