[CEUR Workshop Proceedings] 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





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
  6. 1st International Workshop on Petri Net-based Security

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

  12. Preface of the 2nd International Workshop on Petri Nets Compositions (CompoNet'12) 85
    Hanna Klaudel, Franck Pommereau
  13. Composition of Elementary Net Systems based on α-Morphisms 87
    Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
  14. Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines 103
    Richard Müller, Christian Stahl
  15. 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