Laid Kahloul

Description: 

 

We aim to develop a tool that deals with the reconfiguration in generalized stochastic Petri nets (GSPNs). GSPNs represent an extension of Petri nets (PNs) which allows verifying qualitative properties (reachability, liveness, deadlock-freedom, etc.) as well as quantitative properties (system throughput, system reliability, machine utilization, etc). Thus, GSPNs provide a suitable formal tool for the performance evaluation of systems. However, GSPNs have a rigid structure and are not able to specify intuitively reconfigurable systems. We aim to propose a new extension of GSPNs suitable for the formal modelling and verification of reconfigurable systems, based on the improved net rewriting systems (INRSs) formalism. To this end, we have developed a tool that has as inputs a GSPN that models an initial configuration and a set of rules each of which models a possible change in the structure of the reconfigurable net. Then, our tool applies these rules to the reconfigurable net and computes an isomorphic Markov chain to a reconfigurable net that describes its behaviour. Once the latter is completely constructed, the tool can compute the quantitative properties such as throughput of a transition, mean number of tokens in a place, the mean sojourn time at a marking, etc.

 

 

Software prototype:

 

The prototype is realised using Java language. in the following two links, we provide (i) a technical report describing the tool, (ii) the packages (source code) of the tool, (iii) and the Javadoc files.

 

 

 

 

           

          (i)

 

 

          

         (ii)                       https://drive.google.com/open?id=1w4ysPkMpy36BMfLpnqQvSTWuyhfRnrPl

 

 

 

         (iii)                       https://drive.google.com/open?id=1w4ysPkMpy36BMfLpnqQvSTWuyhfRnrPl

 

 

 

 

Basic references: 

1. Samir Tigane, Laid Kahloul, Samir Bourekkache, Souheib Baarir. Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. Int. J. Critical Computer-Based Systems, Vol. 8, No. 1, 2018.  DOI: 10.1504/IJCCBS.2018.10013031

2. Padberg J., Kahloul L. (2018) Overview of Reconfigurable Petri Nets. In: Heckel R., Taentzer G. (eds) Graph Transformation, Specifications, and Nets. Lecture Notes in Computer Science, vol 10800. Springer, Cham. DOI: https://doi.org/10.1007/978-3-319-75396-6_11.

3. Samir Tigane, Laïd Kahloul, Samir Bourekkache: Net rewriting system for GSPN a RMS case study. ICAASE 2016: 38-45.  

4. Samir Tigan, Laid Kahloul, Samir Bourekkache:  “Reconfigurable GSPN for Reconfigurable Manufacturing Systems”. Accepted in the  SOHOMA’16 Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing. October 06-07 2016. Lisbon, Portugal. http://www.sohoma16.cimr.pub.ro/​ 

5. L Kahloul, S Bourekkache, K Djouani. Designing reconfigurable manufacturing systems using reconfigurable object petri nets. International Journal of Computer Integrated Manufacturing 29 (8), 889-906. 2016.