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

Khadija Abid, Leila Hayet Mouss, Okba Kazar, Laid Kahloul
<span title="">2017</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="" style="color: black;">International Journal of Critical Computer-Based Systems</a> </i> &nbsp;
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
more &raquo; ... table 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1504/ijccbs.2017.084066</a> <a target="_blank" rel="external noopener" href="">fatcat:byi5oqoomvc6rirzo27pmkujqq</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / </button> </a>