| Vol-723 urn:nbn:de:0074-723-1 Copyright © 2011 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.

# PNSE'11
Petri Nets and Software Engineering 2011

### Proceedings of the International Workshop on Petri Nets and Software Engineering

### Newcastle upon Tyne, UK, June 20-21, 2011.

Edited by

### Michael Duvigneau *
Daniel Moldt *
Kunihiko Hiraishi **

* University of Hamburg, Department of Informatics, Hamburg, Germany
** Japan Advanced Institute of Science and Technology, Kanazawa, Japan

PNSE'11 proceedings as a single volume.
BibTeX for the PNSE'11 proceedings.

## Table of Contents

- Frontmatter 1-6

### Invited Talks

1. Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis 9-9
   Victor Khomenko
2. Design, Modelling and Analysis of a Workflow Reconfiguration 10-24
   Manuel Mazzara, Faisal Abouzaid, Nicola Dragon, Anirban Bhattacharyya

### Long Presentations

3. Efficient Implementation of Prioritized Transitions for High-level Petri Nets 27-41
   Michael Westergaard, H.M.W. (Eric) Verbeek
4. Modelling Local and Global Behaviour: Petri Nets and Event Coordination 42-56
   Ekkart Kindler
5. Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets 57-71
   Michael Westergaard
6. Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets 72-91
   Artur Męski, Agata Półrola, Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
7. Extending PNML Scope: the Prioritised Petri Nets Experience 92-106
   Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci

### Short Presentations

8. Specialisation and Generalisation of Processes 109-123
   Christine Choppy, Jörg Desel, Laure Petrucci
9. Integrating Verification into the PAOSE Approach 124-135
   Marcin Hewelt, Thomas Wagner, Lawrence Cabac
10. Transitions as Transactions 136-151
    Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong
11. A Component Framework where Port Compatibility Implies Weak Termination 152-166
    Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn van der Werf
12. Improving the Development Tool Chain in the Context of Petri Net-Based Software Development 167-178
    Tobias Betz, Lawrence Cabac, Matthias Güttler
13. On the use of Pragmatics for Model-based Development of Protocol Software 179-190
    Kent Inge Fagerland Simonsen

### Poster Abstracts

14. A Goal Based Approach on top of Petri Nets 193-195
    Nejm Saadallah, Benoit Daireaux
15. PNTM Integration of Petri Nets and Transactional Memory 196-199
    Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong

14-Jun-2011: submitted by Michael Duvigneau
15-Jun-2011: published on CEUR-WS.org