Int. J. of Critical Computer-Based Systems   »   2017 Vol.7, No.1

 

 

You can view the full text of this article for Free access using the link below.

 

 

Title: Formal approach based on petri nets using agent paradigm for m-maintenance

 

Authors: Khadija Abid; Leila Hayet Mouss; Okba Kazar; Laid Kahloul

 

Addresses:
LAP Laboratory, Batna University, Algeria
LAP Laboratory, Batna University, Algeria
LINFI Laboratory, Computer Science Department, Biskra University, Algeria
LINFI Laboratory, Computer Science Department, Biskra University, Algeria

 

Abstract: The long use of a system in a manufacturing environment causes its degradation, thus the maintenance activity is required in this environment to keep and to improve the efficiency of the system. The new development in networking technologies enhances maintenance strategies and gives birth to remote maintenance (tele-maintenance, e-maintenance, m-maintenance). This maintenance makes information available anywhere/anytime and provides maintenance-personnel with the necessary information at the suitable time. This new type of maintenance reduces the maintenance costs and solves the problem of the unavailability of experts. Mobile agent as a rich design concept brings many facilities in the development of m-maintenance, however few works are elaborated in this stage. The objective of this work is both: 1) the proposition of a based mobile multi-agent architecture dedicated for m-maintenance in manufacturing systems; 2) the exploitation of high level petri nets in the specification, simulation and verification phases of the architecture development.

 

Keywords: agent technology; mobile maintenance; manufacturing system; high level petri nets; mobile agent.

 

DOI: 10.1504/IJCCBS.2017.084066

 

Int. J. of Critical Computer-Based Systems, 2017 Vol.7, No.1, pp.91 - 117

 

Available online: 08 May 2017

 

 

Editors Full text accessFree access Free accessComment on this article