| Vol-853 urn:nbn:de:0074-853-4 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# Joint Proceedings of LAM 2012, WooPS 2012, and CompoNet 2012

### Joint Proceedings of the 5th International Workshop on Logics, Agents, and Mobility (LAM'12),
the 1st International Workshop on Petri Net-based Security (WooPS'12), and
the 2nd International Workshop on Petri Nets Compositions (CompoNet'12).

### Hamburg, Germany, June 25-26, 2012.

Edited by

### Michael Köhler-Bußmeier

University of Hamburg, MIN Faculty, Informatics. D-22527 Hamburg, Germany.

### Workshop Chairs:

#### Berndt Farwer (LAM'12)*
Michael Köhler-Bußmeier (LAM'12)**

* University of Glamorgan, Faculty of Advanced Technology.
** University of Hamburg, MIN Faculty, Informatics. D-22527 Hamburg, Germany.

#### Rafael Accorsi (WooPS'12)*
Tadao Murata (WooPS'12)**
Silvio Ranise (WooPS'12)***

* Dept. of Telematics, University of Freiburg Germany
** Department of Computer Science, University of Illinois, Chicago, USA
*** Fondazione Bruno Kessler, Center for Information Technology, Security and Trust

#### Franck Pommereau (CompoNet'12)*
Hanna Klaudel (CompoNet'12)**

* IBISC, IBGBI, University of Évry
** IBISC, Université d'Evry-Val d'Essonne

- Joint Proceedings of LAM 2012, WooPS 2012, and CompoNet 2012 (single pdf file, 5Mb)

## Table of Contents

### 5th International Workshop on Logics, Agents, and Mobility

1. Preface of the International Workshop on Logics, Agents, and Mobility (LAM'12) 1
   Berndt Müller (Farwer), Michael Köhler-Bußmeier
2. Reconfigurable Petri Nets: Modeling and Analysis (invited talk) 3
   Julia Padberg
3. Modelling Intentional Reasoning with Defeasible and Temporal Logic 5
   José Martín Castro-Manzano
4. A Mobility Logic for Object Net Systems 19
   Frank Heitmann, Michael Köhler-Bußmeier
5. BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems 35
   Artur Meski, Wojciech Penczek, Maciej Szreter

### 1st International Workshop on Petri Net-based Security

6. Preface of the International Workshop on Petri Net-based Security (WooPS) 51
   Rafael Accorsi, Tadao Murata, Silvio Ranise
7. Developing and Integrating Petri net tools - an Experience Report (invited talk) 53
   Karsten wolf
8. Analysing SONAR Model Transformations 55
   Michael Köhler-Bußmeier
9. Inference of Local Properties in Petri Nets Composed through an Interface 71
   Carlo Ferigato, Elisabetta Mangioni

### 2nd International Workshop on Petri Nets Compositions

10. Preface of the 2nd International Workshop on Petri Nets Compositions (CompoNet'12) 85
    Hanna Klaudel, Franck Pommereau
11. Composition of Elementary Net Systems based on α-Morphisms 87
    Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
12. Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines 103
    Richard Müller, Christian Stahl
13. Compositional Analysis of Modular Petri Nets using Hierarchical State Space Abstraction 119
    Yves-Stan Le Cornec

8-Jun-2012: submitted by Michael Köhler-Bußmeier
11-Jun-2012: published on CEUR-WS.org