Download 01 Antoni Mazurkiewicz: Compositional Systems over Reducible Networks (pp. 1-14)
Download 02 Ludwik Czaja: Interpreted Nets (pp. 15-25)
Download 03 Michael Köhler: Reachable Markings of Object Petri Nets (pp. 26-37)
Download 04 Roxana Dietze, Manfred Kudlek, Olaf Kummer: On Decidability Problems of a Basic Class of Object Nets (pp. 38-46)
Download 05 Berndt Farwer: Recovery and Reset in Object Petri Nets with Process Markings (pp. 47-57)
Download 06 Zbigniew Suraj, Barbara Fryc, Grzegorz Owsiany: Analysis of Approximate Petri Nets by Means of Occurence Graphs (pp. 58-67)
Download 07 Sergii Kryvyi, Lyudmila Matvyeyeva: Algorithm of Translation of MSC-specified System into Petri Net (pp. 68-79)
Download 08 Vladimir Bashkin, Irina Lomazova: Resource Equivalence in Workflow Nets (pp. 80-91)
Download 09 Kees van Hee, Irina Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Checking Properties of Adaptive Workflow Nets (pp. 92-103)
Download 10 Michael Köhler: Formalising Multi-Agent Organisations (pp. 104-115)
Download 11 Ralf Berger, Dieter Burkhard: Modeling Complex Behavior of Autonomous Agents in Dynamic Environments (pp. 116-125)
Download 12 Manfred Hild, Matthias Jüngel, Michael Spranger: Humanoid Team Humboldt Team Description 2006 (pp. 126-134)
Download 13 Andreas Wollstein, Manfred Hild: A Real-Time System for the Evolution and Operation of an Artificial Retina (pp. 135-142)
Download 14 Daniel Hein, Manfred Hild: Simloid - Research on Biped Robots Controller, Using Physical Simulation and Machine Learning Algorithms (pp. 143-151)
Download 15 Nikolay Shilov, Natalia Garanina, Igor Anureev: Combining Propositional Dynamic Logic with Formal Concept Analysis (pp. 152-161)
Download 16 Katarzyna Budzynska, Magdalena Kacprzak: Towards a Multi-Valued Logic for Argumentation (pp. 162-173)
Download 17 Elena Oshevskaya: A Categorical Account of Bisimulation for Timed Higher Dimensional Automata (pp. 174-185)
Download 18 Roman Dubtsov: Semantic Domains for Real-Time Event Structures (pp. 186-194)
Download 19 Valery Nepomniaschy, Igor Anureev, Igor Dubranosky, Alexei Promsky: Towards C# Program Verification: C#-Kernel and it’s Axiomatic Semantics (pp. 195-206)
Download 20 Andrzej Zbrzezny, Agata Polrola: SAT-Based Reachability Checking for Timed Automata with Discrete Data (pp. 207-218)
Download 21 Wojciech Nabialek, Piotr Dembinski, Pawel Janowski: Towards Promela Verification Using VerICS (pp. 219-230)
Download 22 Marcin Szpyrka: Development of Embedded Systems – From RTCP-Net Model to Ada Code (pp. 231-242)
Download 23 Satish Mishra: Specification Based Software Product Line Testing: A Case Study (pp. 243-254)
Download 24 Bozena Wozna, Alessio Lomuscio, Franco Raimondi: Verification of the TESLA Protocol in MCMAS-X (pp. 255-267)
Download 25 Damas P. Gruska: Observation Based Passive and Active Timing Attacks (pp. 268-279)
Download 26 Gizela Jakubowska, Wojciech Penczek: Modelling and Checking Timed Authentication of Security Protocols (pp. 280-291)
Download 27 Miroslaw Kurkowski, Wojciech Penczek: Verifying Cryptographic Protocols Modeled by Networks of Automata (pp. 292-303)
Download 28 Roman Redziejowski: A Primitive Recursive-Descent Parser with Backtracking (pp. 304-315)
Download 29 Igor Anureev: An Approach to Formal Human-Oriented Specifications of Programming Languages (pp. 316-327)
Download 30 Anatoliy Doroshenko, Georgiy Tseytlin, Olena Yatsenko, Lubov Zachariya: A Theory of Clones and Formalized Design of Programs (pp. 328-339)
Download 31 Agata Janowska, Wojciech Penczek: Static Path Compression in Timed Systems (pp. 340-351)
Download 33 Goehring Daniel: Distributed Object Modeling Using Object Relations in Dynamic Environments (pp. 364-375)
Download 34 Jaroslaw Stepaniuk: Rough Sets in Multi Relational Environment (pp. 376-387)
Download 35 Jan Bazan, Piotr Kruczek, Stanislawa Bazan-Socha, Andrzej Skowron, Jacek Pietrzyk: Automatic Planning Based on Rough Set Tools, Towards Supporting Treatment of Infants with Respiratory Failure (pp. 388-399)
Download 36 Antoni Mazurkiewicz: Local Properties of Triangular Graphs (pp. 400-409)
Download 37 Barbara Klunder: Star-connected rational expressions (pp. 410-417)
Download 39 Marcin Wolski: Similarity as Nearness: Information Quanta, Approximation Spaces and Nearness Structures (pp. 424-433)
Download 40 James F(pp. Peters, Andrzej Skowron, Jaroslaw Stepaniuk: Nearness in Approximation Spaces (pp. 434-445)
Download 41 Anna Gomolinska: Approximation Spaces Based on Similarity and Dissimilarity (pp. 446-457)
Download 42 Zbigniew Suraj, Krzysztof Pancerz: Efficient Computing Consistent and Partially Consistent Extensions of Information Systems (pp. 458-468)
Download 43 Sheela Ramanna, James F(pp. Peters, Andrzej Skowron: Analysis of Conflict Dynamics by Risk Patterns (pp. 469-479)
Download 44 Gabriela Lindemann, Thomas Schrader, Danilo Schmidt: The Aim of the Open European Nephrology Science Centre - OpEN.SC (pp. 480-487)
Pictures
Here you can find some pictures of the conference.
Copyright (C) 2006 by Ludwik Czaja, Manfred Kudlek, Roman Redziejowski and Holger Schlingloff
Click on any picture to see it in large; then right-click on the picture to download it.