ADECS 2014
Petri Nets for Adaptive Discrete-Event Control Systems

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