| Vol-1161 urn:nbn:de:0074-1161-7 Copyright © 2014 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.

# ADECS 2014
Petri Nets for Adaptive Discrete-Event Control Systems

### Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems
co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014)

### Tunis, Tunisia, June 24, 2014.

Edited by

### Mohamed Khalgui *
Zhiwu LI **

* University of Carthage, Tunisia
** Xidian University, China

## Table of Contents

- Author Index

- Preface

### Session 1:

- Using High Level Nets for the Design of Reconfigurable Manufacturing Systems 1-19
  Laid Kahloul, Chaoui Allaoua, Karim Djouani, Samir Bourekkache, Okba Kazar
- OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets 20-35
  Baisi Liu, Mohamed Ghazel, Armand Toguyéni

### Session 2:

- A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems 36-51
  Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
- PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems 52-67
  Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui

### Session 3:

- A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS 68-82
  Murat Uzam, Zhiwu Li, Umar Suleiman Abubakar
- Extension of Batches Petri Nets by Bi-parts Batch Places 83-102
  Radhia Gaddouri, Leonardo Brenner, Isabel Demongodin

2014-07-16: submitted by Mohamed Khalgui
2014-07-16: published on CEUR-WS.org |valid HTML5|