This paper proposes an approach of mobile maintenance (m-maintenance) that aims is to reduce the maintenance cost and to overcome the unavailability of experts. The Condition-Based Maintenance strategy is chosen and a three-layered framework based on mobile agent technology and web services is proposed. To ensure the reliability, Petri Nets are used in order to formally model and verify the proposed approach. Agents are modeled and their behavior with Reconfigurable Object Nets formalism. A case study on a production line is conducted to evaluate the proposed approach using LabVIEW environment. Results provide evidence of the applicability of the model.