| Vol-182 © 2006 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# WFM '06
International Workshop on Formal Models

### Proceedings of the International Workshop on Formal Models
Prerov, the Czech Republic, April 25-27, 2006

Edited by

### Dusan Kolar *
Alexander Meduna *

* Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

## Table of Contents

1. Preface

   ### Formal Models: Concepts

2. General Top-Down Parsers Based On Deep Pushdown Expansions
   Meduna Alexander, Krivka Zbynek
3. Multigenerative Grammar Systems
   Meduna Alexander, Lukas Roman
4. Variations on the theme: P Colonies
   Ciencialova Lucie, Cienciala Ludek
5. On Generation Power of Positioned eco-grammar system
   Langer Miroslav

   ### Formal Models: Theory

6. Closure Properties of Linear Languages under Operations of Linear Deletion
   Masopust Tomas
7. String-Partitioning Systems and An Infinite Hierarchy
   Krivka Zbynek, Schönecker Rudolf
8. Bidirectional Contextual Grammars
   Techet Jiri

   ### Formal Models: Applications

9. Clustering of Protein Sequences
   Rudolfova Ivana, Zendulka Jaroslav
10. Using Petri Nets for RT Level Digital Systems Test Scheduling
    Skarvada Jaroslav, Ruzicka Richard
11. Formal Methods and Model Transformation Framework for MDA
    Alksnis Gundars

submitted to CEUR-WS by Zbynek Krivka and Dusan Kolar, May 29, 2006