1. Introduction
The development of technologies in industry moves along the path of complicating technological operations, creating flexible and robotic industries. At the same time, the requirements for the reliability of technological equipment are increasing. There is a trend towards a shift from preventive maintenance to predictive maintenance of equipment, which corresponds to the general direction of technological process development according to the concept of Industry 4.0 [
1,
2].
Today, virtual testing and virtual commissioning based on the behavior simulation of production systems are widely used. Such technologies rely on a model-based development [
3,
4]. At this stage, the studies of maintenance and repair processes become essential, as they provide the organization of the predictive maintenance system at the time of actual product output. Another important aspect is the continuous monitoring of technological equipment in the production process to replace parts or serviced units in a timely manner, predicting failure or defect.
For many applications in industry, discrete-event simulation is the most appropriate tool for studying technological processes and equipment properties. Many kinds of parts create specific difficulties in describing the models of machines, components, and assemblies. Due to the stochastic nature of the technological process, calculating unit performance is impossible. These circumstances lead to Petri nets’ (PNs’) mathematical formalism, aiming to build simulation models of production processes and maintainability evaluation [
5,
6].
This article discusses a method for constructing a hierarchy of simulation models based on timed colored PNs, describing processes in a set comprising:
Performed production tasks, specified in the form of a Gantt chart;
A set of technological units;
Service stations for maintenance and repair.
This article contains the following parts: Related works are presented in
Section 2. The problem statement of evaluating maintenance and repair efficiency is discussed in
Section 3.
Section 4 briefly describes the definitions of colored Petri nets (CPNs) and timed colored Petri Nets (TCPNs).
Section 5 presents the hierarchical Petri net model (HPN), and describes how this architecture is abstracted and modeled using TCPNs.
Section 6 and
Section 7 provide an example of the use of HPN to simulate an autonomous agricultural vehicle system and discuss the results obtained. The future extensions to the proposed approach are presented in
Section 8.
2. Related Works
Models based on Petri nets have been used to describe discrete-event systems with the parallel–serial nature of the processes. The reason for choosing PNs is that, unlike traditional models for modeling discrete events (DEs), the PN model provides an intuitive graphical representation of the studied complex system, and has been proven to be more flexible and efficient [
7,
8,
9]. Among the many practical applications of Petri nets, works related to the modeling of flexible manufacturing systems (FMSs) stand out. Early work has shown the effectiveness of various Petri nets for simulating production systems for defect and failure prediction [
10,
11,
12]. In the subsequent period, new modeling tools for studies of production systems were built, which describe the process of equipment degradation and deterioration [
13,
14]. In [
12,
15], high-level Petri nets were developed, corresponding to the hierarchical organization of production structures. This explains the continuing interest of researchers, which has led to the creation of various extensions of Petri nets. As a result, the most widely used models are colored CPNs [
16,
17], timed TCPNs [
18,
19], and stochastic SCPNs [
20].
Another relevant area of Petri net model application is in developing, testing, and verifying software systems, computational processes, and communication protocols. Mainly, the successful application of Petri nets should be noted in the description of information processing, microprocessor systems, and others.
In such systems, there are strict requirements for fault tolerance and timing relationships. Kumar et al. [
21,
22] applied CPNs to formalize component operation scheduling, and presented a method for analyzing system dependencies based on a service-oriented architecture (SOA). The various types of dependency relationship are formalized using service algebra. Such a model-driven approach provides a process for reworking and restructuring the software application. Del Foyo and Silva [
23] developed a similar approach for requirements analysis in real-time systems. They proposed a reachability-based algorithm for real-time testing of discrete systems, in which timed computational tree logic is used as a specification language, and timed transition graphs are introduced to represent system behavior.
Among a wide range of topics for the practical use of PNs, one should highlight the construction of stochastic Petri nets for studying the degradation, aging, and deterioration processes of various units, mechanisms, and machines. The study of these phenomena and processes is necessary for the organization of maintenance and repair. A review of the existing research in this area shows that many researchers successfully use the apparatus of Petri nets to design reliable and maintainable industrial systems in various areas of technology.
Preventive and predictive maintenance strategies are used in technological processes; however, discrepancies exist between the mathematical models used and the actual maintenance activities. One of the main reasons for this is insufficient mathematical modeling methods to accurately describe the equipment interactions during maintenance. In this regard, the use of simulation models on Petri nets is actively developing.
The relevance of modeling the interactions between units and component manufacturing processes causes the active development of Petri nets in this area. Boukredera et al. [
24] developed color PNs as a formalization of the temporal aspects of the elements functioning in a decentralized task distribution. Simultaneously, the presentation of the object as a multi-agent system is combined with the CPN model simulation. The CPN model for production–logistics problems, which implements the self-adaptive collaboration method, was investigated by Guo et al. in [
18]. The objective of the proposed TCPN model is to minimize the waiting time of all jobs, the makespan, and the electricity consumption of all machines and AGVs. Three key performance indicators, including waiting time, makespan, and electricity consumption, are considered. Pla et al. suggested a new Petri net extension for modeling workflow activities together with their required resources: resource-aware Petri nets (RAPNs) [
25]. Workflows are modeled with Petri nets, since they are a well-known tool for workflow modeling, and offer a wide range of extensions to facilitate this task. In the article, five different scenarios were considered for testing the latency of the maintenance prediction procedure. Each scenario includes a specified number of jobs and different resources depending on the source of the workflows.
Technological processes are stochastic due to the impact of some external random factors. Accordingly, many kinds of research have been conducted on creating Petri nets to simulate random events with a given probability density distribution. Various modifications of stochastic colored Petri nets (SCPNs) have been developed for these purposes. In [
26], Santos et al. developed generalized SCPNs with predicates for Monte Carlo simulation. The times to component failure are considered to be the Weibull distribution. Marsan [
27] proposed to simulate random processes at PN transitions using delays with negative exponential probability density functions. Stochastic colored Petri nets are used for a comprehensive class of objects, particularly when assessing maintainability and reliability. Lu et al., in [
17,
28,
29], also investigated the application of SCPN tuples and the calculation of the required resources according to the equations of the model state. Consumable and reusable resources are represented as multisets in SCPN places. The simulation of maintenance allows for the estimation of resource requirements at each stage.
There are known examples of the effective use of SCPNs in studying the maintenance of an electric car-sharing system [
30], researching the degradation and deterioration of ceramic claddings [
31], and modeling cyber–physical systems [
32]. The simulation models are developed, integrating physics-based and dependability models in order to monitor the state evolution of dam protection from natural phenomena and improve maintenance decision-making processes [
33].
Researchers at the University of Nottingham, UK, actively work on the theory and practical use of simulation models for railway infrastructure. Le, Andrews, and Fecarotti in [
34,
35,
36] presented a bridge model developed based on the Petri net (PN) approach. Their method allows for detailed modeling of the individual components in the structure, while maintaining the analytical problem at a manageable size, resulting in an efficient analysis. The bridge model is formed from sub-models of each of the bridge components, and considers the component deterioration process, the interactions and dependencies between different component deterioration processes, and the inspection and maintenance processes. The model states are defined based on the actual degraded component conditions that they experience.
In [
37], several types of Petri nets with different properties were introduced. The extension of Petri nets, adaptive Petri nets (APNs), which satisfy the specific requirements of railway rolling stock maintenance, was proposed. The authors developed an application of APNs in combination with Monte Carlo simulations to evaluate the maintenance of railway rolling stock.
The development of these approaches has continued with the creation of offshore wind turbine models. Le and Andrews in [
38] used stochastic Petri nets. This method’s versatility made it possible to include details of degradation and maintenance operations in the model. Dependent deterioration processes between subsystems of wind turbines were considered, defining the maintenance rules for early indication of failure to ensure replacement. Leigh, Yan, and Dunnet produced simulation models of offshore wind turbines [
39,
40]. Their model is based on SCPNs, describing three types of maintenance: periodic, conditional, and corrective maintenance. The wind turbine conditions were monitored to determine the frequency of service, and then the repair and maintenance processes were simulated.
On the other hand, one more positive property of CPNs should be noted: implementing the hierarchical models of complex systems. The functionality of many modeling systems that support Petri nets allows the realization of both top-down and bottom-up designs. Lorbeer [
41] proposed reconfigurable Petri nets based on a hierarchical principle. Sheng et al. [
42,
43] developed hierarchical CPNs to simulate the air fleet service. These papers presented hierarchical models of a fleet operation and maintenance process, which considers mission-oriented operation, multiple-level maintenance, multiple cannibalization policies, maintenance schedule, and spare inventory management.
One work by Baruwa and Piera [
44] was devoted to managing autonomous vehicle schedules, which is closest to the area of our research on autonomous agricultural vehicle maintenance. The attention of researchers has also been paid to the planning of mobile robot movement [
45], human–robot interaction [
46], and the positioning of autonomous vehicles on territory [
47]. However, this work did not consider the procedures for servicing autonomous cars based on failure and defect prediction.
3. Organization of the Maintenance and Repair of Technological Process Units
We assume that the main component of the technological process is the “Task.” The unit of equipment used in the technological process is denoted as “Unit.” We consider a set of technological tasks , a set AU of available units , and a Gantt chart Gt, which describes the schedule for performing technological tasks.
The maintenance and repair management system should perform the following functions:
The model assigns available units un for tasks according to the schedule Gt.
The system performs other tasks in case of the absence of the necessary units for task zk. When the unit becomes available, the model assigns them to the delayed task zk.
The model removes a unit from service in a defect or equipment failure, and replaces it with an available unit from the reserve AU.
When a unit maintenance request is received, similar actions are taken.
Continuous monitoring of the unit parameters “residual resource” and “time to preventive maintenance”. When the specified resources are depleted, the unit is decommissioned and replaced with a reserve one.
The model controls the unit queues for repair, maintenance, distribution, or recovery of consumable resources.
Returning serviced units to reserve AU for further use in the technological process.
A generalized hierarchical structure for scheduling production tasks, assigning units, and maintenance and repair processes is shown in
Figure 1. The first level
L1 is formed by technological tasks performed according to the Gantt chart. The diagram shows units’ movement from the state of availability to the state of activity (level
L2), as well as the transfer of units for repair or maintenance (level
L3). It is also possible to use the mobile service station
MM, located closer to the technological process. The level
L4 corresponds to consumable resources
Cs and reusable resources
Ru for maintenance and repair.
We describe the unit with a vector of parameters:
where
ID is the identification number of the unit,
Md is the model (type) and modification of the unit,
trt is the value of the unit operating time after the last maintenance or repair procedure,
tRL is remaining useful life (RUL),
tMT is remaining time before scheduled maintenance,
tti is the start time of the next exploitation period, and
tta is the accumulated unit operating time.
Decision making is carried out according to the condition-based policy. The inspection time tI is related to the timing of the serviceability, degradation, and deterioration states of the unit components:
if or then: preventive replacement of unit;
if tI = tPrM then: unit predictive replacement;
if tI = tF then: unit corrective replacement;
where tPrM is the prognostic maintenance time, and tF is the time of a failure occurrence.
As follows from
Figure 1, the modeled object has a hierarchical character, and belongs to the class of discrete-event systems. Therefore, the adequate model should also have a hierarchical structure. We have chosen hierarchical timed colored Petri nets to simulate the schedule, task execution events, maintenance, and unit repair.
Figure 2 shows the relationship of the main modules of the hierarchical HPN model.
The ZSch module, based on the specified Gantt chart Gt, builds a task graph and assigns unit types for each task. A PZS set of assigned units are transferred to the ZO module to complete tasks. It is possible that a technological task cannot be performed using the available set AU units. Such tasks PZA are then removed from the model before decision making on the new unit’s inclusion in the AU. During the execution of task Z, the following events may occur: (a) equipment failures; (b) requests for maintenance of units. Unit repair and maintenance operations are simulated in the MR module.
It is known that the coordination of task schedules with assigned technological equipment is the generalized assignment problem solution [
48]. However, solving this problem poses difficulties for a large number of tasks and units. Furthermore, there are problems with the use of units in parallel tasks. We proposed to use an optimization–simulation approach to solve such problems [
49,
50]. This approach consists of the solution to the optimization problem and the study of the simulation model combined.
The optimization problem of unit allocation has the form:
under constraints:
where
xn is the Boolean optimization variable, specifying the unit allocation
,
J is the number of constraints,
N is the number of units,
Nj is an index set of units for the
Jth constraint,
,
Cn are capital costs of units, and
are operating costs.
Variable xn = 1 if the unit is assigned to execute a task in Z scheduling.
The problem shown in Equations (2) and (3) is not final, but serves the initial unit distribution by tasks in the simulation model. Simulation in HPNs is carried out with algorithmic restrictions. This allows the detection of situations such as deadlocks, resource insufficiency, and the simultaneous use of resources.
Thus, in general, decision making is an iterative process of solving an optimization problem, simulating, evaluating the results obtained, and returning to the optimization problem to correct the constraints if the algorithmic constraints are not satisfied.
5. Hierarchical Petri Net Model Used to Simulate the Repair and Maintenance Process
5.1. General Scheme
The design of the hierarchical HPN model was carried out using a top-down development. The top-level page uses subpages for which only a set of inputs and outputs are still defined. The structure of the hierarchical HPN model is depicted in
Figure 3.
Hierarchical PNs include four levels of modules. The first level consists of the following modules:
ZSch module handles task scheduling and unit assignment;
ZO module handles task operations;
MR module handles maintenance and repair performance;
RS module is the resource for maintenance and repair.
The first level is formed by the modules described in the previous paragraph. The main ZO module contains K basic ZExec modules of the task’s operation, where K is the number of tasks in the technological process schedule. The ZExec module provides a simulation of unit assignment and basic task operations. Each ZExec module is associated with its own RTA (runtime analyzer) module, which evaluates the time parameters of running units and determines failures or predictive maintenance requests. The RTA module simulates an ensemble of m units for a specific task zk. The Unit ID sub-module determines the accumulated operating time, remaining useful life, and time before preventive maintenance, and simulates stochastic processes of failures and prediction maintenance. A detailed description of the implementation of HPN modules is given below.
5.2. ZO Module
All basic operations for performing production tasks are simulated in the ZO module. The topology of the ZO module is determined by the process Gantt diagram. Each task has a base operations module BOM associated with it.
Figure 4 shows the ZO module structure as an example, including three blocks of operations BOM1–BOM3; these are substitution transitions that correspond to ZExec modules on the lower level of the model hierarchy. ZBM modules are intermediate substitution transitions to ZExec modules. The example (
Figure 4) implements sequentially parallel execution of the production “Main Task.”
The global color sets and variables are given in
Table 1.
Table 2 contains a description of the ZO places.
Thus, according to Equation (1), the main color set U is defined in the HPN model as a tuple U = (id, md, rt, rl, mt, ti, ta). The unit’s unique id and model md associate it with the tasks being performed. The time parameters rt, rl, mt, ti, and ta are used to control the unit’s residual life. Only the active unit of work time determines the remaining useful life RUL (rl parameter). In periods of service or repairs to the unit, time rt does not change.
Then from Equation (1), the expression for the unit current operating time
tcu follows:
where
tc is the model time.
Requests for the unit’s predictive maintenance are simulated in the process of performing tasks. For this purpose, the random distribution functions are used corresponding to the degradation and deterioration processes of unit parts. At random time tMrq, the Mrq signal is formed, causing a transfer of the unit for maintenance. Similarly, at the moment of time tF, the signal F is generated to simulate the failure occurrence.
The unit is operated in the technological process under the following conditions:
The inspection time is less than the value of RUL defined for each unit.
The inspection time is less than the time before scheduled maintenance.
There are no signals about the appearance of failure.
There are no predictive maintenance requests.
Therefore, the step sequence for simulating a technological process execution is as follows:
Module initialization: Unit model types that can perform operations on the BOM module are set in place MZ. The number of operation cycles is set in place Cc. If necessary, the FE (failure enable) and PrME (predictive maintenance enable) indicators are set.
Each BOM
k module assigns specific units to perform task
zk according to the rule:
As a result, the places UPZ 1–UPZ K contain sets of unit models that can perform these tasks throughout the entire period. Note that the set
AU of available units can contain several units of the same model with different
IDs.
The “Main Task” token movement through the BOMs simulates the execution of a technological process. When a task is completed in the BOM, the place EndZ in the ZExec module receives a token.
The RTA analyzer checks the unit operating conditions throughout the BOM module’s activity period. If conditions 1 and 2 are not satisfied, the residual resource is exhausted; then, the unit stops working, and it is directed to preventive maintenance.
In cases where the FE and PrME features are set, the RTA analyzer generates random failure or defect prediction events; then, at the appropriate time, the unit is transferred for repair or maintenance. This action is simulated by moving the unit token to the places UM or UF, and then to the MR module, for maintenance or repair operations. During this period, the unit token is only in the MR module, and the value of the operating time trt does not change.
If the task is suspended, then another unit with the required model is selected from the set AU to the BOM module, and the task continues.
The “Main Task” token appears at the output place PZfin when the technological process is completed.
5.3. ZExec Modules
The ZExec module is a substitution transition for ZBM modules.
Figure 5 shows the structure of a ZExec with substitution transitions TASK and RTA.
The appearance of a token at the input position Pin allows the assignment of units to execute the task. A set of required unit models is contained in the place MZ. For the transition T0, a code segment is defined that specifies the function newTI (u) for setting the start time tti for a given operating period. The task operations begin after moving units from place AU to place UPZ.
The operation of module ZExec when simulating failures or predictive maintenance requests is as follows:
The token appearance in F or Mrq places determines the model of the new unit that should replace the unit being serviced or repaired. Transitions T3 and T4 send the lock token to the place Lock.
The T5 or T6 transitions fire if a unit with a required model is in place AU; then, the unit is replaced in UPZ.
The transition T7 unlocks the operation execution after replacing a unit in place UPZ.
At the end of the task, the Cc counter is reset to zero, and the inhibitor arc starts transition T2 to move units from place UPZ to place AU, to be used in other BOM modules. The function newRT (u) sets new values of trt and tta.
In the ZExec module, the meaning of places and transitions are explained in
Table A1 and
Table 3.
5.4. TASK Sub-Module
The hierarchical approach assumes that the internal organization of any technological task can have a complex structure.
Figure 6 shows a sub-module with three phases of task execution.
The transition T1 performs a preparatory operation for the task execution. The transition T2 corresponds to the main operation, and the firing of the transition T3 is the final action. The iterative cycle of operations is organized by transitions T3 and T4 and places Cc and CYCLE END. After all of the task operations, the units are removed from the place UPZ in the ZExec module. An empty token in place CYCLE END allows the firing of transition T5 through the inhibitor arc. It sets the flag End and moves the token “Main Task” to the place Pout. This concludes the work of the TASK and ZExec modules.
Such a task structure is the simplest case, but it is often encountered in applications. Next, an example of the practical use of a simulation model will be considered, while the TASK module has a more complex structure.
5.5. RTA Module and Unit ID Sub-Module
Each RTA is assigned to a single task
zk, and is associated with the corresponding BOM module. Essentially, RTA is a multifunctional unit’s time counter, and includes several Unit ID sub-modules (
Figure 3). The structure of the Unit ID module is depicted in
Figure A1. The meanings of the module’s places and transitions are briefly explained in
Table A2 and
Table A3.
The primary operations of the Unit ID module are:
Selecting a unit with a given ID = j from place UPZ and moving to place UPZ j;
Setting in place E the status “Unit activity” and starting the internal time counter;
Checking the conditions n ≥ rl (RUL) and n ≥ mt (time before maintenance) performed on the output arcs of the transitions T2 and T3 in each time step;
If at least one condition is satisfied, the unit is transferred to the MR module by transition Tout2;
Generating a predictive maintenance request on the transition T4 output arc according to the Poisson distribution, with a given rate λM, and moving the unit to the place UM;
Generating a failure event on the transition T5 output arc according to the Poisson distribution, with a given rate λF, and moving the unit to the place UF;
Removing the unit from the place UPZ j, if it becomes inactive;
Setting new values of unit accumulated operating time tta and trt = 0 using the code segments of function newRTLM (u);
Resetting the module marking to its initial state upon work completion on a signal in the place EndZ.
The researcher can study the influence of stochastic processes in the simulated equipment. Tokens in the FE and PrME positions of the Unit ID module allow the firing of transitions T4 and T5. The output arc expressions for these transitions generate random times of failure or requests from the predictive maintenance system. CPN Tools provides random distribution functions: normal, Poisson, Weibull, gamma, exponential, and others. The example module in
Figure A1 shows Poisson failure flow generation with a rate of λ = 3. It should be noted that the values of the random distribution parameters depend on the ratio of the model and the real time of the technological process.
5.6. Maintenance and Repair Module
Repairs and maintenance are simulated in the MR module (
Figure 7). The queues of units for maintenance and repair are formed in the places UMQ and UFQ, respectively. Tokens in these places are transferred from the ZExec modules. The tokens in the places AM and AR allow the maintenance or repair operations for the next unit. At the same time, tokens leave these places through transitions T1 and T2, blocking the service of new units. Basic manufacturing operations are simulated in the M and R transitions. The presence of the required number of consumable resources is indicated in the places CsM and CsR. The restored unit is moved to the place
AU in the available unit set.
Table 4 and
Table 5 describe the meaning of MR module places and transitions.
7. Discussion
The developed hierarchical CPN model describes many objects, their states, and their parameters. The model allows us to study various properties in the autonomous vehicle system, and make decisions to improve process control. Planning multifactorial experiments is based on the identification of the main components that affect key indicators. Based on the results of the presented experiment, the following conclusions can be drawn:
The researcher sets the limit value for exceeding the scheduled completion time of the technological task Z. Assume that max
Y = 15% (red dotted line in
Figure 11). The graphs in
Figure 11 show that for
Y ≤ 15%, the acceptable value range for the parameters
tMT and
tM is determined by the inequalities:
Hence, the preventive maintenance period for autonomous vehicles must be at least 320 h. Otherwise, the AAV’s transfer to service and repair work leads to a significant slowdown in the technological process. The useful time of autonomous vehicles is similarly estimated using the operating rate indicator
E. For a given rate
E ≥ 75%, the parameters
tMT and
tM must satisfy the following ratios:
By combining the conditions Y and E, we obtain the limit value tMT = 320 h.
We are also considering using reserve autonomous vehicles to reduce the loss of repair and maintenance time. To do this, in HPN AV, a multiset of place
AU is added, according to a fourth vehicle with model “M1” and id = 7. Thus, when a car with id = 1 is brought to the service, it is replaced by a reserve car with id = 7 when performing tasks
z1 and
z2. The experiment shows that, for
tM = 48 h and
tMT = 200 h, the
Y criterion decreases from 67% to 30%. At the same time, the vehicle rate
E also decreases (
Table 9). However, this leads to the timely completion of task
Z.
These results are taken into account when correcting the constraints of the optimization problem shown in Equations (2) and (3) to find a balance between the unproductive idle time of vehicles and the degree of compliance with the schedule.
8. Conclusions
The hierarchical HPN model presented in this article can describe processes in a comprehensive class of flexible manufacturing systems. However, some structural and technical features of this model determine its most effective area of application. In the HPN model, the emphasis is on putting units into operation, their replacement, and the formation and use of a reserve of units. In this regard, the model is more suitable for the organization of maintenance and repair of mobile industrial equipment.
It should be noted that the novelty of our approach also lies in the application of an optimization–simulation procedure. In modeling the maintenance of the autonomous robotic vehicle system, we managed to solve the problem of the rational placement of AAVs in a production area with the required number of reserve units. The simulation experiment results obtained via the Monte Carlo method were used to adjust the constraints of minimizing the maintenance cost, as shown in Equations (2) and (3). We can say that such an iterative procedure is, to some extent, analogous to machine learning; the difference is that, at this stage of our work, the decision to correct the optimization problem is made by the production system’s analyst/manager. In our study of AAV systems, we obtained solutions close to optimal, in the performance of no more than 15–20 iterations.
The HPN model contains a set of UNIT ID modules, which are individual multifunctional timers for each technology unit. This solution is new, and allows us to keep track of the time parameters of the unit’s activity, the residual resource, and the remaining time before maintenance. The UNIT ID module performs these functions regardless of the production task or the place of the unit’s use. This provides the ability to quickly move information about a unit to other hierarchical models, in order to transfer it to a new production system.
It should be noted that the structure of the hierarchical model and its main modules can be adapted to a vast class of flexible production systems. The ZO module and the ZExec module structure allow the substitution of local models of various production tasks and technological equipment units. However, there are certain limitations to the application of the proposed hierarchical model.
First, the desire to perform deeper detailing, in order to study the stochastic processes of the behavior of individual subsystems and elements of technological units, leads to congestion of the model’s connections and an increase in the dimension of the PN model. As a result, the simulation time increases significantly, and the analysis of the obtained solutions becomes more complicated.
Secondly, the tools that support PN modeling have limitations on the number of places and transitions in the model. Experiments with the AAV system have shown that it makes no sense to build a complete simulation model for an enterprise with 50–100 robotic vehicles. It is enough to divide the AAV fleet into groups that perform local production tasks, with the number of vehicles no more than 15. In this case, the simulation can be performed reasonably, and the obtained solution adequately describes the manufacturing system.
A possible direction for further research is the development and complication of the hierarchical model of autonomous agricultural vehicles. The idea is that AAVs include several microcontroller-based control subsystems. Predictive maintenance uses information obtained from monitoring while operating the vehicle in challenging road conditions. Therefore, it is necessary to perform the detailing of the HPNs at the lower levels of the model. This approach allows the study of process failures in microcontrollers, measurement subsystems, and data transmission devices. In this case, external signals and factors should be investigated. Hence, the model HPN AV is transformed into a non-autonomous Petri net. Some works are known in the field of the application of non-autonomous Petri nets. L. Gomes et al. conducted research in which they implemented IOPT models for simulating microcontrollers [
55,
56,
57]. There are many reasons to use the IOPT tool [
58]; in this case, the basic premise is related to describing interfaces and signals in the onboard diagnostic system of an autonomous vehicle.