A petri net-based equipment support modeling method and device and a storage medium

Abstract

This invention provides a Petri net-based equipment support modeling method, device, and storage medium. The method includes: organizing the organic connections between tasks, equipment, and support systems based on task type, internal logic of stage tasks, and inter-stage logic, clearly describing general parameter information of tasks; constructing a support model oriented towards the task process from the perspectives of combat and support task types, support task sequence, and support tasks and processes; abstracting equipment support modeling based on the elements of equipment support and the set of elements related to effectiveness evaluation; performing equipment support modeling based on an improved Petri net, and providing evaluation results through simulation. Through the above method, modular and flexible modeling of support-related activities such as support process, task process, equipment failure, resource requirements, and support time can be achieved.

Description

Technical Field

[0001] This invention relates to the field of equipment support technology, and in particular to an equipment support modeling method, apparatus and storage medium based on Petri nets. Background Technology

[0002] With the advancement of science and technology and the development of industrial manufacturing, the functions of future weapons and equipment are constantly being enhanced, and their structural composition is becoming increasingly complex, exhibiting a trend towards complexity, integration, and informatization. Equipment support has become a crucial factor restricting the development of equipment systems and influencing combat effectiveness. From the perspective of support targets, not only are the number and types of support targets numerous, but support missions also frequently cross military branches, regions, and airspaces, increasing the difficulty of support tasks. From the perspective of support force composition, there are both general-purpose and specialized support forces, as well as fixed and mobile support forces, making the coordinated use of support forces extremely complex. If the operational equipment support capability is evaluated through unit-level trials, it will be significantly constrained by the political environment and economic conditions. If analytical methods are used to analyze and evaluate the operational equipment support capability, the sheer number and variety of support targets and forces, along with the numerous uncertainties in the support process, render analytical methods ineffective in addressing these issues.

[0003] System modeling is a comprehensive experimental science based on systems science, computer science, probability theory, and mathematical statistics, combined with the technical sciences of applied fields. For many problems that are difficult to solve using mathematical methods or are extremely complex, system modeling methods can provide convenient and rapid solutions. To adapt to the dynamic needs of mission planning and resource reorganization of modern combat equipment, and considering the characteristics of diverse equipment types, large quantities, and wide distribution within the system, this research, driven by information and digital technologies, and aiming to maintain and improve the combat readiness and mission success of equipment systems, studies equipment support modeling methods oriented towards mission processes. This can support equipment design and user units in determining maintenance cycles, predicting spare parts needs, formulating maintenance tasks, evaluating support plans, and visualizing support posture, and has significant practical implications for improving the efficiency of equipment use and support.

[0004] Therefore, how to achieve modular and flexible modeling of support-related activities such as support process, mission process, equipment failure, resource requirements, and support time has become one of the existing technical problems that urgently need to be solved. Summary of the Invention

[0005] This invention provides a method, apparatus, and storage medium for equipment support modeling based on PETRI networks, which enables modular and flexible modeling of support-related activities such as support processes, mission processes, equipment failures, resource requirements, and support time.

[0006] Firstly, a method for equipment support modeling based on PETRI networks is provided, including: This paper focuses on the process of multi-stage missions performed by combat equipment in the equipment system. It sorts out the organic connection between missions, equipment and support systems from the perspectives of mission type, internal logic of mission stage, and inter-stage logic. It clearly describes the general parameter information of missions and constructs a support model oriented towards mission process from the perspectives of combat and support mission type, support mission sequence, and support mission and process. Based on the elements of equipment support and the set of elements related to effectiveness assessment, equipment support modeling abstraction is carried out; Equipment support modeling is performed based on improved Petri nets, and simulation results are used to provide evaluation results.

[0007] In one implementation, the general parameter information of the task includes: task time parameters, task function parameters, task timing parameters, task logical relationship parameters, and task success criteria; the task time parameters include start time and end time; the task function parameters include combat units and support units; the task timing parameters include parallel relationships and serial relationships; the task logical relationship parameters include parallel relationships, serial relationships, voting relationships, and cold reserve relationships; the task success criteria include task workload requirements and the number of intact equipment requirements.

[0008] In one implementation, the tasks are divided into three types according to their content: basic tasks, typical tasks, and comprehensive tasks; the basic task is the smallest unit of a task, an executable and indivisible complete mission task; the typical task is a set of tasks formed by combining basic tasks in a certain time sequence; and the comprehensive task is a general term for all typical tasks of the equipment.

[0009] In one embodiment, the equipment support simulation model includes an equipment model, a support resource model, a support process model, a task model, and a support strategy model; the equipment model includes equipment system composition, LRU-related parameters, and failure mode parameters; the support resource model includes support personnel, support equipment, and spare parts; the support process model includes restorative maintenance support processes and preventive maintenance support processes; and the support strategy model includes maintenance strategies and resource distribution strategies.

[0010] In one implementation, the attributes of logical transitions in the improved Petri net include: reset arcs, rollback arcs, trigger arcs, and flag arcs. The reset arc represents the reset of the output place to 0 after the input transition connected to it ends, describing the health state after a fault occurs. The rollback arc represents the rollback of all state places' tokens for the output transition connected to it when the token of the input place connected to it is greater than the arc weight, describing the reset of the LRU's lifetime after maintenance. The trigger arc represents the output place connected to it having an arc weight value after the input transition is triggered or during the triggering process; when the trigger ends or is paused, the output place's token is 0, describing the working state. The flag arc represents the start of the transition connected to it, and the triggering process requires the token of the input place connected to it to be greater than or equal to the arc weight; otherwise, triggering cannot be performed or is paused, describing the time before the fault occurs, calculated based on the working time.

[0011] In one implementation, equipment support modeling is performed based on an improved Petri net, and simulation results are provided for evaluation, specifically including: Step 1: Initialize model data, initialize the time parameters of each transition, the resource object status of each resource repository, and the flag status of each state repository; Step 2: Initialize the logical transition list and the ordinary transition list of the model. The priority of the logical transition list follows the principle of "the lower the level, the higher the priority". The priority of the ordinary transitions is specified by the user in principle. Step 3: Following the principle of triggering the ordinary transition set first and then the logical transition set, trigger each transition in sequence according to priority, while updating the quantity and status of input and output locations, and recording the simulation data related to transition triggering and location changes; during this process, if a fault occurs, immediately trigger the logical transition set once and update the locations in each state. Step 4: Repeat step 3 until the simulation stops when the task is successful or the simulation time is at its maximum. Step 5: Repeat steps 1 to 4 according to the simulation settings for the number of simulations; Step 6: Based on the simulation process data, including the triggering data for each transition, the change data for each repository, and the data related to mission success, and according to the statistical analysis methods for each indicator, give the evaluation results.

[0012] Secondly, a Petri net-based equipment support modeling device is provided, comprising: The task-process-oriented support model construction module is used to build a support model for the multi-stage task execution process of equipment system combat equipment. It sorts out the organic connection between tasks, equipment and support systems from the perspectives of task type, internal logic of stage tasks, and inter-stage logic, clearly describes the general parameter information of tasks, and constructs a task-process-oriented support model from the perspectives of combat and support task types, support task sequence, and support tasks and processes. The Equipment Support Modeling Abstraction Module is used to perform equipment support modeling abstraction based on the elements of equipment support and the set of elements related to effectiveness evaluation. The modeling and simulation module is used for equipment support modeling based on improved Petri nets, and the simulation provides evaluation results.

[0013] In one implementation, the general parameter information of the task includes: task time parameters, task function parameters, task timing parameters, task logical relationship parameters, and task success criteria; the task time parameters include start time and end time; the task function parameters include combat units and support units; the task timing parameters include parallel relationships and serial relationships; the task logical relationship parameters include parallel relationships, serial relationships, voting relationships, and cold reserve relationships; the task success criteria include task workload requirements and the number of intact equipment requirements.

[0014] Thirdly, a computing device is provided, comprising at least one processor and at least one memory, wherein the memory stores a computer program, and the memory is configured to read the computer program from the memory and perform any of the steps described in the equipment support modeling method based on PETRI nets provided in the first aspect.

[0015] Fourthly, a computer-readable storage medium is provided, the computer-readable storage medium storing computer-executable instructions for causing a computer to perform any of the steps described in the equipment support modeling method based on the PETRI network provided in the first aspect.

[0016] This invention provides a Petri net-based equipment support modeling method, apparatus, and storage medium. The method includes: organizing the organic connections between tasks, equipment, and support systems based on task type, internal logic of stage tasks, and inter-stage logic, clearly describing general parameter information of tasks; constructing a support model oriented towards the task process from the perspectives of combat and support task types, support task sequence, and support tasks and processes; abstracting equipment support modeling based on the elements of equipment support and the set of elements related to effectiveness evaluation; performing equipment support modeling based on an improved Petri net, and providing evaluation results through simulation. Through the above method, modular and flexible modeling of support-related activities such as support processes, task processes, equipment failures, resource requirements, and support time is achieved.

[0017] Other features and advantages of the invention will be set forth in the following description, and will be apparent in part from the description, or may be learned by practicing the invention. The objects and other advantages of the invention may be realized and obtained by means of the structures particularly pointed out in the written description, claims, and accompanying drawings. Attached Figure Description

[0018] The accompanying drawings, which are included to provide a further understanding of the invention and form part of this invention, illustrate exemplary embodiments of the invention and are used to explain the invention, but do not constitute an undue limitation of the invention. In the drawings: Figure 1 This is a flowchart of an equipment support modeling method based on Petri nets according to an embodiment of the present invention. Figure 2 This is a block diagram of a Petri net-based equipment support modeling method according to an embodiment of the present invention. Figure 3 This is a schematic diagram of the components of an equipment support model according to an embodiment of the present invention; Figure 4 This is a flowchart of the improved Petri net simulation according to an embodiment of the present invention; Figure 5 A schematic diagram of a Petri net model of the working equipment according to an embodiment of the present invention; Figure 6 This is a flowchart of the random failure and corrective maintenance support process according to an embodiment of the present invention; Figure 7 Petri net modeling for the timed maintenance assurance process according to an embodiment of the present invention; Figure 8 This is a Petri net model of the timed parts replacement maintenance support process according to an embodiment of the present invention; Figure 9 This is a comprehensive model for LRU fault, repair, and maintenance according to an embodiment of the present invention. Detailed Implementation

[0019] To achieve modular and flexible modeling of support-related activities such as support processes, mission processes, equipment failures, resource requirements, and support time, this paper provides a Petri net-based equipment support modeling method, device, and storage medium.

[0020] The preferred embodiments of the present invention will be described below with reference to the accompanying drawings. It should be understood that the preferred embodiments described herein are for illustration and explanation only and are not intended to limit the present invention. Furthermore, the embodiments and features in the embodiments of the present invention can be combined with each other without conflict.

[0021] It should be noted that the terms "first," "second," etc., in the specification, claims, and accompanying drawings of the embodiments of the present invention are used to distinguish similar objects and are not necessarily used to describe a specific order or sequence. It should be understood that such data can be interchanged where appropriate so that the embodiments described herein can be implemented in a sequence other than that illustrated or described herein.

[0022] like Figure 1-2 As shown in the figure, the embodiment provides an equipment support modeling method based on PETRI network, and the specific implementation steps include: S11. Focusing on the process of multi-stage missions performed by combat equipment in the equipment system, this paper sorts out the organic connection between missions, equipment and support systems from the perspectives of mission type, internal logic of mission stage, and logic between stages. It clearly describes the general parameter information of missions and constructs a support model oriented towards mission process from the perspectives of combat and support mission type, support mission sequence, and support mission and process.

[0023] In practice, the process of multi-stage mission execution by the equipment system's combat equipment is considered. The organic connection between missions, equipment and support systems is sorted out from the perspectives of mission type, internal logic of mission stage, and logic between stages. Information such as general parameters of missions is clearly described. From the perspectives of combat and support mission types, support mission sequence, support missions and processes, a support model oriented towards the mission process is constructed.

[0024] In one implementation, focusing on effectively maintaining the combat readiness, mission success, and mission continuity of the equipment system, the hierarchical, phased, and concurrent characteristics of the equipment system and multi-level support systems in terms of structure and operation are considered. The hierarchical, temporal, and logical relationships of missions within combat units are studied. Before establishing a mission model, the general parameters of the mission should be clearly described, including mission time parameters (start time / end time, etc.), mission function parameters (combat unit / support unit, etc.), mission temporal relationship parameters (parallel / serial relationship, etc.), mission logical relationship parameters (parallel / serial / voting / cold reserve relationship, etc.), and mission success criteria (mission workload requirements / number of intact equipment requirements, etc.).

[0025] Tasks can be categorized into three types based on their content: (1) Basic task: The smallest unit of a task, an executable and indivisible complete mission task; (2) Typical tasks: refers to a set of tasks formed by combining basic tasks in a certain time sequence; (3) Comprehensive mission: refers to the overall general term for all typical missions of the equipment.

[0026] Let the set of tasks at level M be: , This is a task at this level. M =0 represents the highest level of typical tasks. M The larger the size, the lower the level.

[0027] Let the basic task set be: , This is the basic task.

[0028] Higher-level tasks are all composed of lower-level tasks arranged in a certain temporal sequence. . The ways of combining can be summarized into three types: a) Parallel combination: Tasks are independent of each other and can be executed simultaneously; b) Mutually exclusive combination: Tasks cannot be performed simultaneously; only one task can be executed at a time. c) Combination of association methods: There are dependencies between tasks.

[0029] Equipment systems execute missions over a certain time span, typically involving the deployment of a number of equipment units and batches. Therefore, combat units exhibit multi-stage mission system characteristics, meaning their missions consist of a series of temporally continuous and non-overlapping basic mission phases. Mission sequence describes the temporal relationships between various types of equipment within an equipment assembly during the execution of missions (usually basic missions), such as sequential, parallel, or overlapping sequences. Based on the above analysis, sequential basic missions are either mutually exclusive or related; parallel basic missions are connected in a parallel manner; and overlapping basic missions are parallel and related. This research focuses on support simulation modeling based on the combat mission process.

[0030] S12. Based on the elements of equipment support and the set of elements related to effectiveness assessment, perform equipment support modeling and abstraction.

[0031] In practical implementation, the equipment support model should cover all elements of equipment support. Considering that the main purpose of building a simulation model is to effectively evaluate support effectiveness, the focus should be placed on elements related to effectiveness evaluation. The equipment support simulation model should at least include an equipment model, a support resource model (including support personnel, support equipment, spare parts, etc.), a support process model (including corrective maintenance support processes and preventive maintenance support processes), a task model, and a support strategy model.

[0032] In one implementation, such as Figure 3As shown, the equipment system is an open, complex, and adaptive system encompassing support equipment entities, support tasks, and support resources. Equipment support involves support command during peacetime and combat operations, execution of various support tasks during peacetime and wartime, and multi-level command and dispatch of support tasks. This study focuses on combat equipment deployment, support command and control, combat mission activities, support mission activities, support organization and allocation, and dynamic consumption of support resources. It comprehensively considers the equipment system's combat missions, combat processes, the collaborative relationships between different levels and types of combat equipment within the system, and the collaborative relationships between equipment. It studies the equipment, organization, and resources required for mission execution, laying the foundation for the construction of a simulation model. The equipment support simulation model should at least include an equipment model, a support resource model (including support personnel, support equipment, spare parts, etc.), a support process model (including restorative maintenance support processes and preventative maintenance support processes), a mission model, and a support strategy model.

[0033] (1) Equipment model, which defines the equipment, including the equipment system composition, LRU related parameters, and failure mode parameters; (2) Support resource model, which defines the categories, models, quantities, costs, and other related aspects of support resources. It enables the modeling and management of support equipment, support personnel, and spare parts.

[0034] (3) Support process model, which defines the specific processes of equipment repair, preventive maintenance and battlefield emergency repair, including maintenance work, maintenance duration, maintenance personnel, maintenance equipment and spare parts.

[0035] (4) Task model: Define the task, which consists of stages and tasks. Define the duration, equipment, personnel, etc. required for each task, as well as the influence of equipment and personnel on the task.

[0036] (5) The support strategy model is a description of the decision-making rules related to equipment support, including maintenance strategy, resource distribution strategy, etc.

[0037] These equipment support-related model elements can be divided into three categories: data models, process models, and strategy models. Different types of model elements have different characteristics, as analyzed below: (1) Data-type model elements The data-related model elements involved in equipment support modeling mainly include two categories: equipment models and support resource models.

[0038] ① The equipment model mainly describes the system structure, reliability, maintainability, and testability design parameters, usage parameters (such as cumulative working time), and basic attributes like model codes. Except for the system structure, all parameters can be represented as key-value pairs, which can be effectively modeled using a database. The equipment structure typically involves parent-child relationships and iterative progression. Besides using XML-like data types, it can also be described using two tables: one representing the basic attributes of subsystems, and the other representing the parent-child relationships between subsystems. Therefore, the equipment model can be described and stored solely using a database.

[0039] ② The resource support model includes personnel, equipment, spare parts, facilities, technical data, and other means to assist in completing support tasks. These attributes can all be represented as key-value structures; therefore, a database is the most suitable descriptive method.

[0040] In summary, databases can effectively describe data-based model elements.

[0041] (2) Process-type model elements The process-related modeling elements for equipment support mainly include support process modeling and mission process modeling, which are the core of the entire support modeling process. Their common characteristic is the need to effectively depict the logical relationships, time requirements, and resource requirements of each node in the process, while generally requiring the modeling process to be visualized. These requirements are often difficult to describe in a simple key-value format or store in a structured database, and are generally stored in file format.

[0042] ① In addition to possessing the general characteristics of process modeling, process modeling should also take into special consideration the impact of failures on multiple factors such as the support process, work, and equipment.

[0043] ② Task modeling generally requires multi-level modeling, that is, a task contains multiple stages, each stage contains multiple tasks / steps, and there are logical relationships of AND, OR, and sequence between each stage and task.

[0044] Therefore, for process-type model elements, it is generally necessary to design a model specifically for the application object (this model should meet the basic requirements of process modeling as well as modularity, hierarchy, and visualization) in order to meet the requirements.

[0045] (3) Strategy-type model elements Strategic modeling elements in equipment support modeling mainly include maintenance strategies, delivery strategies, and emergency repair strategies. These involve knowledge from fields such as military operations research, game theory, and optimization algorithms, and are all specifically tailored, making it difficult to establish a general model for representation.

[0046] S13. Based on the improved Petri net, equipment support modeling is performed, and simulation results are given.

[0047] In practical implementation, the equipment support process (task process) is a typical discrete event process, characterized by numerous synchronization, concurrency, and conflict phenomena. Considering that concepts such as places, transitions, and arcs in Petri nets correspond to activities, states, and rules in the equipment support process (task process), Petri nets are used to construct the equipment support process (task process). Due to the complex logical relationships within the equipment support process, this patent proposes "reset arcs," "backtracking arcs," "trigger arcs," and "flag arcs" to improve the Petri nets and enhance the accuracy of the equipment support process.

[0048] In one implementation, based on the analysis of the components and characteristics of each component in the equipment support modeling, a modeling technique based on improved Petri nets, characterized by "lightweight, general, modular, hierarchical, visual, highly portable, and flexible in modeling granularity," is adopted to construct the equipment support model.

[0049] ① "Lightweight" requires the modeling framework to have clear, simple, and easy-to-understand logic, with low difficulty in implementing the underlying code and a small amount of code; ② "Generalization" requires that modeling methods and models be adaptable to various equipment, without the need to customize models for each type of equipment; ③ "Modularization" requires that the model can be organized, managed, and visualized in the form of modules; ④ "Hierarchical" requires that the model can easily contain sub-models, that is, the model can be quickly nested; ⑤ "Visualization" requires that the modeling process, model, and simulation process can be interacted with by the user in a graphical way; ⑥ "Good portability" requires that the existing model can be easily reused and new models can be built quickly; ⑦ "High modeling granularity and flexibility" requires the model to be able to depict both the details of the protection and the large-scale protection logic. In other words, it should be able to describe each operational step at a small scale and the relevant elements of the protection system at a large scale, making "twin protection" possible.

[0050] Table 1. Correspondence between Equipment Support Process and Petri Net Elements Current Petri net models struggle to effectively characterize complex logical relationships (they can currently only model series and parallel logical connections). Therefore, this project proposes logical transitions for logical modeling.

[0051] Compared to ordinary transitions, logic transitions have no time parameter (time is 0), and only represent the logical relationship between input and output. Their basic parameters are shown in Table 2.

[0052] Table 2. Attributes and significance of logical transitions Meanwhile, to complement the description of complex logical relationships using "logical transitions," this project proposes "reset arcs," "backtracking arcs," "trigger arcs," and "flag arcs," with the following meanings: ① "Reset Arc" means that after the input transition triggered by this connection ends, the output library connected to this connection is reset to 0; it is used to describe the health status after a fault occurs.

[0053] ② "Back-off arc" means that when the token of the input place connected to this connection is greater than the arc weight, the output transition connected to this connection will back-off all the tokens of the state places. It is used to describe resetting the life of the LRU after maintenance (mainly referring to component replacement maintenance).

[0054] ③ "Trigger Arc" represents the output library's Token as the arc weight after or during the triggering of the input transition connected to this connection. When the trigger ends or is paused, the output library's Token becomes 0; it is used to describe the progress of the work.

[0055] ④ "Flag Arc" represents the start of the transition connected to this output. The triggering process requires that the Token of the input library connected to this arc be greater than or equal to the arc weight; otherwise, it cannot be triggered or the triggering is postponed. It is mainly used to describe the time before the fault occurs, calculated based on working time.

[0056] In the improved Petri net model, transitions are divided into ordinary transitions and logical transitions. The difference lies in the following: (1) Ordinary transitions are used to characterize events such as work, faults, and maintenance, and have a time attribute; (2) Logical transitions are used to characterize logical relationships such as parallel, series, voting, and side connections, and do not have a time attribute. These two are fundamentally different, requiring improvements to the simulation process to meet the requirement of "accurately predicting the occurrence of each event while correctly simulating logical state transitions." Figure 4 As shown, the main logic and steps of the improved simulation are as follows: Step 1: Initialize model data: This mainly includes initializing the time parameters of each transition (sampling random times such as LRU failure time and maintenance time according to the time distribution), the resource object status of each resource repository, and the flag status of each state repository. Step 2: Initialize the logical transition list and the ordinary transition list of the model. The priority of the logical transition list must follow the principle of "the lower the level, the higher the priority," while the priority of ordinary transitions can be arbitrarily specified by the user in principle.

[0057] Step 3: Following the principle of triggering the ordinary transition set first and then the logical transition set, trigger each transition in sequence according to priority, while updating the quantity and status of input and output locations, and recording the simulation data related to transition triggering and location changes; during this process, if a fault occurs, the logical transition set must be triggered immediately to update each location status, so as to ensure that the impact of the fault can be updated to working status in one simulation step.

[0058] Step 4: Repeat step 3 until the simulation stops (task success or maximum simulation time) is reached. Step 5: Repeat steps 1 to 4 according to the simulation settings for the number of simulations. Step 6: Based on the simulation process data, including the triggering data for each transition, the change data for each repository, and the data related to mission success, and according to the statistical analysis methods for each indicator, give the evaluation results.

[0059] (1) Task Petri Net Model The task is composed of subtasks arranged hierarchically, and each subtask is executed sequentially. Furthermore, considering the logical relationships between the subtasks of certain tasks, this patent utilizes a proposed logical transition to characterize these relationships.

[0060] (2) Equip Petri net model A task is the basic unit of task modeling, and they are combined upwards to form a completed task. Considering the logical relationships between the equipment that completes the task, and the logical relationships between the subsystems and LRUs within the equipment, this patent introduces logical transitions to characterize the logical relationships at each level, and converges upwards to the criteria that have the greatest impact on the task.

[0061] (3) LRU and Petri net model of the guarantee process Equipment support process modeling requires describing and characterizing the scheduled preventive maintenance (scheduled maintenance, timed repair, condition-based maintenance) and fault-corrective maintenance processes of LRUs. For example... Figure 5 As shown.

[0062] 1. Petri net model for random failures and corrective maintenance assurance processes like Figure 6 As shown, the modeling of random failures and corrective maintenance support processes mainly considers the simulation of random failures and the resource constraints of the support process. The significance of the model and the simulation process are as follows: The "Random Failure" transition simulates the failure time of the transition (the specific value is sampled based on the set average failure interval). When the failure time is reached, the transition trigger ends, the "Failure Flag" is set to 1 (indicating that the LRU has failed), and the "Failure Occurrence" warehouse becomes 2. After the failure occurs, the "Spare Parts Delay" transition is triggered. After the trigger ends, the spare parts in the "Spare Parts" warehouse become available to simulate the delay in spare parts availability. When spare parts, personnel, and equipment all meet the requirements, the "Failure Repair" transition is triggered. After the repair time, the "Repair Completed" warehouse becomes 2, and at the same time, personnel and equipment are released to a usable state. After the repair is completed, the next round of failure simulation begins, and the failure flag is set to 1, indicating that the LRU is available.

[0063] 2. Petri net modeling for scheduled maintenance and assurance process like Figure 7 As shown, the modeling of the scheduled maintenance and support process mainly considers the simulation of the scheduled maintenance cycle and the resource constraints on the support process. Its model significance and simulation process are basically similar to those of the random failure and corrective maintenance and support process. The main difference is that there is no consumption of spare parts.

[0064] 3. Petri net model for scheduled parts replacement and maintenance process like Figure 8 As shown, the modeling of the timed replacement maintenance support process mainly considers the simulation of the timed replacement cycle and the resource constraints of the support process. Its model significance and simulation process are basically similar to those of the random fault and corrective maintenance support process. The main difference is that the simulation is based on a timed cycle and does not involve random time.

[0065] 4. LRU Maintenance and Support Integrated Petri Net Model like Figure 9 As shown, considering the guarantee processes of random failures, periodic maintenance, and scheduled replacements, a "logical transition" is added to characterize the comprehensive impact of each guarantee process on the availability state of the LRU. Here, the "logical transition" is considered to be sequential, meaning that "any type of maintenance will affect the availability state of the LRU." However, if a scheduled maintenance guarantee process does not require downtime, then during model transformation, the reset arc weight in that guarantee process can be set to 0, without affecting the value of the flag library.

[0066] An example provides a The advantages and positive effects of the method of the present invention are as follows: (1) The Petri net-based equipment support modeling method proposed in this invention can realize the flexible construction of a lightweight, modular, and configurable equipment support model oriented to tasks.

[0067] (2) The Petri net-based equipment support modeling method proposed in this invention supports accurate description of support-related parameters / activities such as equipment failure, resource requirements, support time, support process, and task process.

[0068] (3) The Petri net-based equipment support modeling method proposed in this invention can quickly build task models in a modular modeling manner, and can provide model support for support scheme optimization, maintenance support decision-making, etc.

[0069] Based on the same technical concept, this application also provides an equipment support modeling device based on PETRI nets. Since the principle of the device in solving the problem is similar to that of the equipment support modeling method based on PETRI nets, the implementation of the device can refer to the implementation of the method, and the repeated parts will not be described again.

[0070] An embodiment provides an equipment support modeling device based on Petri nets, comprising: The task-process-oriented support model construction module is used to build a support model for the multi-stage task execution process of equipment system combat equipment. It sorts out the organic connection between tasks, equipment and support systems from the perspectives of task type, internal logic of stage tasks, and inter-stage logic, clearly describes the general parameter information of tasks, and constructs a task-process-oriented support model from the perspectives of combat and support task types, support task sequence, and support tasks and processes. The Equipment Support Modeling Abstraction Module is used to perform equipment support modeling abstraction based on the elements of equipment support and the set of elements related to effectiveness evaluation. The modeling and simulation module is used for equipment support modeling based on improved Petri nets, and the simulation provides evaluation results.

[0071] In one implementation, the general parameter information of the task includes: task time parameters, task function parameters, task timing parameters, task logical relationship parameters, and task success criteria; the task time parameters include start time and end time; the task function parameters include combat units and support units; the task timing parameters include parallel relationships and serial relationships; the task logical relationship parameters include parallel relationships, serial relationships, voting relationships, and cold reserve relationships; the task success criteria include task workload requirements and the number of intact equipment requirements. For ease of description, the above parts are divided into modules (or units) according to functional modules and described separately. Of course, in implementing this invention, the functions of each module (or unit) can be implemented in one or more software or hardware.

[0072] Having introduced the equipment support modeling method and apparatus based on PETRI nets according to exemplary embodiments of the present invention, the following describes a computing device according to another exemplary embodiment of the present invention.

[0073] Those skilled in the art will understand that various aspects of the present invention can be implemented as systems, methods, or program products. Therefore, various aspects of the present invention can be specifically implemented in the following forms: a completely hardware implementation, a completely software implementation (including firmware, microcode, etc.), or a combination of hardware and software aspects, collectively referred to herein as a "circuit," "module," or "system." In some possible implementations, the computing device according to the present invention may include at least one processor and at least one memory. The memory stores program code. When the program code is executed by the processor, the processor performs the steps in the equipment support modeling method based on the PETRI net according to various exemplary embodiments of the present invention described above.

[0074] In some possible implementations, various aspects of the equipment support modeling method based on PETRI nets provided by the present invention can also be implemented as a program product, which includes program code. When the program product is run on a computer device, the program code is used to cause the computer device to perform the steps in the equipment support modeling method based on PETRI nets according to various exemplary embodiments of the present invention as described above.

[0075] The program product can take the form of any combination of one or more readable media. The readable media can be a readable signal medium or a readable storage medium. A readable storage medium can be, for example, but not limited to, an electrical, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any combination thereof. More specific examples of readable storage media (a non-exhaustive list) include: an electrical connection having one or more wires, a portable disk, a hard disk, random access memory (RAM), read-only memory (ROM), erasable programmable read-only memory (EPROM or flash memory), optical fiber, portable compact disk read-only memory (CD-ROM), optical storage device, magnetic storage device, or any suitable combination thereof. The program product for equipment support modeling based on PETRI networks according to embodiments of the present invention can take the form of a portable compact disk read-only memory (CD-ROM) and include program code, and can run on a computing device. However, the program product of the present invention is not limited thereto. In the present invention, the readable storage medium can be any tangible medium containing or storing a program that can be used by or in combination with an instruction execution system, apparatus, or device.

[0076] Those skilled in the art will understand that embodiments of the present invention can be provided as methods, systems, or computer program products. Therefore, the present invention can take the form of a completely hardware embodiment, a completely software embodiment, or an embodiment combining software and hardware aspects. Furthermore, the present invention can take the form of a computer program product embodied on one or more computer-usable storage media (including, but not limited to, disk storage, CD-ROM, optical storage, etc.) containing computer-usable program code.

[0077] This invention is described with reference to flowchart illustrations and / or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and / or block diagrams, and combinations of blocks in the flowchart illustrations and / or block diagrams, can be implemented by computer program instructions. These computer program instructions can be provided to a processor of a general-purpose computer, special-purpose computer, embedded processor, or other programmable data processing device to produce instructions for implementing the flowchart. Figure 1 One or more processes and / or boxes Figure 1 A device that specifies a function in one or more boxes.

[0078] These computer program instructions may also be stored in a computer-readable storage medium that directs a computer or other programmable data processing device to function in a particular manner, such that the instructions stored in the computer-readable storage medium produce an article of manufacture including instruction means, which are implemented in a process Figure 1 One or more processes and / or boxes Figure 1 The function specified in one or more boxes.

[0079] These computer program instructions may also be loaded onto a computer or other programmable data processing apparatus to cause a series of operational steps to be performed on the computer or other programmable apparatus to produce a computer-implemented process, thereby providing instructions that execute on the computer or other programmable apparatus for implementing the process. Figure 1 One or more processes and / or boxes Figure 1 The steps specified in one or more boxes.

[0080] Although preferred embodiments of the invention have been described, those skilled in the art, upon learning the basic inventive concept, can make other changes and modifications to these embodiments. Therefore, the appended claims are intended to be interpreted as including the preferred embodiments as well as all changes and modifications falling within the scope of the invention.

[0081] Obviously, those skilled in the art can make various modifications and variations to this invention without departing from its spirit and scope. Therefore, if these modifications and variations fall within the scope of the claims of this invention and their equivalents, this invention also intends to include these modifications and variations.

Claims

1. A Petri net-based equipment support modeling method, characterized in that, include: This paper focuses on the process of multi-stage missions performed by combat equipment in the equipment system. It sorts out the organic connection between missions, equipment and support systems from the perspectives of mission type, internal logic of mission stage, and inter-stage logic. It clearly describes the general parameter information of missions and constructs a support model oriented towards mission process from the perspectives of combat and support mission type, support mission sequence, and support mission and process. Based on the elements of equipment support and the set of elements related to effectiveness assessment, equipment support modeling abstraction is carried out; Equipment support modeling is performed based on improved Petri nets, and simulation results are used to provide evaluation results.

2. The method according to claim 1, characterized in that, The general parameter information of the mission includes: mission time parameters, mission function parameters, mission timing parameters, mission logical relationship parameters, and mission success criteria; the mission time parameters include start time and end time; the mission function parameters include combat units and support units; the mission timing parameters include parallel relationships and serial relationships; the mission logical relationship parameters include parallel relationships, serial relationships, voting relationships, and cold reserve relationships; the mission success criteria include mission workload requirements and the number of intact equipment requirements.

3. The method according to claim 2, characterized in that, The tasks are divided into three types according to their content: basic tasks, typical tasks, and comprehensive tasks. The basic task is the smallest unit of the task, an executable and indivisible complete mission. The typical task is a set of basic tasks combined in a certain time sequence. The comprehensive task is a general term for all typical tasks of the equipment.

4. The method according to claim 3, characterized in that, The equipment support simulation model includes an equipment model, a support resource model, a support process model, a task model, and a support strategy model. The equipment model includes equipment system composition, LRU-related parameters, and failure mode parameters. The support resource model includes support personnel, support equipment, and spare parts. The support process model includes restorative maintenance support processes and preventive maintenance support processes. The support strategy model includes maintenance strategies and resource distribution strategies.

5. The method according to claim 4, characterized in that, The improved Petri net's logical transition attributes include: reset arcs, rollback arcs, trigger arcs, and flag arcs. A reset arc represents the reset of the output place's token to 0 after the input transition to this connection ends, describing the health state after a fault. A rollback arc represents the rollback of all state place tokens of the output transition to this connection when the token of the input place is greater than the arc weight, describing the reset of the LRU's lifespan after maintenance. A trigger arc represents the output place's token being the arc weight value after or during the triggering of the input transition to this connection; when the trigger ends or is paused, the output place's token is 0, describing the ongoing state. A flag arc represents the start of the transition to this output connection, and the triggering process requires the token of the input place to be greater than or equal to the arc weight; otherwise, triggering cannot be performed or is paused, describing the time before the fault occurs, calculated based on the working time.

6. The method according to claim 5, characterized in that, Equipment support modeling is performed based on improved Petri nets, and simulation results provide evaluation results, including: Step 1: Initialize model data, initialize the time parameters of each transition, the resource object status of each resource repository, and the flag status of each state repository; Step 2: Initialize the logical transition list and the ordinary transition list of the model. The priority of the logical transition list follows the principle of "the lower the level, the higher the priority". The priority of the ordinary transitions is specified by the user in principle. Step 3: Following the principle of triggering the ordinary transition set first and then the logical transition set, trigger each transition in sequence according to priority, while updating the quantity and status of input and output locations, and recording the simulation data related to transition triggering and location changes; during this process, if a fault occurs, immediately trigger the logical transition set once and update the locations in each state. Step 4: Repeat step 3 until the simulation stops when the task is successful or the simulation time is at its maximum. Step 5: Repeat steps 1 to 4 according to the simulation settings for the number of simulations; Step 6: Based on the simulation process data, including the triggering data for each transition, the change data for each repository, and the data related to mission success, and according to the statistical analysis methods for each indicator, give the evaluation results.

7. An equipment support modeling device based on Petri nets, characterized in that, include: The task-process-oriented support model construction module is used to build a support model for the multi-stage task execution process of equipment system combat equipment. It sorts out the organic connection between tasks, equipment and support systems from the perspectives of task type, internal logic of stage tasks, and inter-stage logic, clearly describes the general parameter information of tasks, and constructs a task-process-oriented support model from the perspectives of combat and support task types, support task sequence, and support tasks and processes. The Equipment Support Modeling Abstraction Module is used to perform equipment support modeling abstraction based on the elements of equipment support and the set of elements related to effectiveness evaluation. The modeling and simulation module is used for equipment support modeling based on improved Petri nets, and the simulation provides evaluation results.

8. The apparatus according to claim 7, characterized in that, The general parameter information of the mission includes: mission time parameters, mission function parameters, mission timing parameters, mission logical relationship parameters, and mission success criteria; the mission time parameters include start time and end time; the mission function parameters include combat units and support units; the mission timing parameters include parallel relationships and serial relationships; the mission logical relationship parameters include parallel relationships, serial relationships, voting relationships, and cold reserve relationships; the mission success criteria include mission workload requirements and the number of intact equipment requirements.

9. A computing device, characterized in that, It includes at least one processor and at least one memory, wherein the memory stores a computer program, and the processor is configured to read the computer program from the memory and execute the method according to any one of claims 1 to 6.

10. A computer-readable storage medium, characterized in that, The computer-readable storage medium stores computer-executable instructions for causing a computer to perform the method described in any one of claims 1 to 6.

Images