CN114519479A - Engineering system workflow modeling method based on space-time Petri net - Google Patents

Engineering system workflow modeling method based on space-time Petri net Download PDF

Info

Publication number
CN114519479A
CN114519479A CN202011305708.XA CN202011305708A CN114519479A CN 114519479 A CN114519479 A CN 114519479A CN 202011305708 A CN202011305708 A CN 202011305708A CN 114519479 A CN114519479 A CN 114519479A
Authority
CN
China
Prior art keywords
task
space
workflow
trigger
time
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202011305708.XA
Other languages
Chinese (zh)
Inventor
张宏军
黄百乔
张鹏
罗永亮
闫丹
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
CSSC Systems Engineering Research Institute
Original Assignee
CSSC Systems Engineering Research Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by CSSC Systems Engineering Research Institute filed Critical CSSC Systems Engineering Research Institute
Priority to CN202011305708.XA priority Critical patent/CN114519479A/en
Publication of CN114519479A publication Critical patent/CN114519479A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/063—Operations research, analysis or management
    • G06Q10/0633—Workflow analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/067—Enterprise or organisation modelling
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30—Computing systems specially adapted for manufacturing

Landscapes

  • Business, Economics & Management (AREA)
  • Human Resources & Organizations (AREA)
  • Engineering & Computer Science (AREA)
  • Strategic Management (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Economics (AREA)
  • Game Theory and Decision Science (AREA)
  • Educational Administration (AREA)
  • Development Economics (AREA)
  • Marketing (AREA)
  • Operations Research (AREA)
  • Quality & Reliability (AREA)
  • Tourism & Hospitality (AREA)
  • Physics & Mathematics (AREA)
  • General Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The invention belongs to a modeling method, and particularly relates to a time-space Petri net-based engineering system workflow modeling method. It comprises the following steps: (1) initializing a system engineering workflow environment, including initial time, a space environment, and various objects, personnel, task signals and various material resources; (2) describing the basic description and the triggering constraint and behavior of the task node; (3) and establishing a space-time Petri network and giving a basic operation rule. The invention has the following remarkable effects: the complexity of the workflow model elements of the architecture is solved; the interaction and operation of each element in the system engineering workflow under the space-time environment are met; the method accords with the complexity and the space-time dynamics of task operation in the system engineering workflow.

Description

Engineering system workflow modeling method based on space-time Petri net
Technical Field
The invention belongs to a modeling method, and particularly relates to a time-space Petri net-based engineering system workflow modeling method.
Background
The process design in the system engineering has a very important position, the process is a key factor for showing the overall capability among all member systems of the system, and the system couples all the member systems through the process design to cooperatively complete tasks which can not be completed by a single system. The traditional system engineering lacks guidance of a process design method. The Petri network is a tool which has both mathematical analysis and graphic description of the system, is suitable for modeling a discrete event system with characteristics of concurrency, mutual exclusion, conflict and the like, and naturally meets the requirements of process design.
The workflow modeling member system of the system engineering is complex, has various automatic and manual task signals, requires high unity and harmony of the member system in time, space, personnel and resource configuration, and has various complex conditions of preferential execution, sequential execution, concurrent execution, resource preemption, sharing and release, real-time space occupation, shared occupation, mobile occupation, ending occupation and space release and the like.
The current workflow modeling is mostly production process-oriented flow design, mainly research contents are product manufacturing and assembly line operation, a modeling object is mainly in products and resources, an operation mechanism is mainly resource-sensitive triggering constraint and behavior, the complex system modeling capability of system engineering is lacked, and the operation mechanism which accords with various complex conditions of the complex system of the system engineering is lacked.
Patent CN103593516B entitled "a combat system modeling and simulation system" adopts a system structure modeling module to establish a system structure model and a specification which conform to the DoDAF specification, and automatically generates a simulation scenario, but only provides simulation data and simulation operation, and lacks the capability of modeling and operating complex workflow models in system modeling. The patent publication No. CN107301128A entitled "System simulation verification method based on Petri Net model" converts SysML model into Petri Net model, then simulates the converted model, and explains the verification algorithm of basic properties of Petri Net, such as safety, activity and deadlock.
Document "workflow-based shipboard aircraft combat command guidance" establishes a workflow model of combat command guidance by using a UML tool, and verifies the workflow model by using a Petri network, such as accessibility, rationality, selectivity and the like. The literature, namely the modeling of an air defense back guidance system based on the UML and the Petri network, carries out conceptual modeling on the system from the aspects of use diagrams, class diagrams, activity diagrams and the like according to the operation process of the system, and realizes mapping, conversion and basic verification from the UML model to the Pet network model by combining the characteristic that the Petri network supports evaluation verification.
To date, there is no method of Petri net modeling specifically for a system engineering workflow. Existing documents and patents lack research results on complex object characteristics, spatiotemporal characteristics and constraints, spatiotemporal characteristics of tasks in the system engineering workflow, and operation mechanisms conforming to the system structure workflow. To realize the Petri network modeling of the system engineering workflow, several aspects of problems in the system engineering workflow must be solved:
1) modeling of various objects, personnel, task signals (manual/automatic) and various material resources;
2) the task priority and the task trigger constraint comprise a task trigger signal, a task priority, required personnel, required objects and states thereof, required material resources, and the constraint after the task execution comprises objects released after the task execution is finished and states thereof, personnel, material resources and space;
3) initial temporal, spatial environment modeling of the workflow;
4) modeling and operating space change of various elements in a space-time environment;
5) and giving an operation mechanism of the space-time Petri network which meets the modeling requirements.
Disclosure of Invention
In order to solve the technical problems existing in the background technology, the invention aims to provide a system engineering workflow modeling method based on a space-time Petri network, to solve the modeling of time, space environment, tasks, various objects, personnel, task signals (manual/automatic) and various material resources in the system engineering workflow, and to provide an operation mechanism of various model elements in the space-time environment.
The invention is realized by the following steps: a time-space Petri net-based engineering system workflow modeling method comprises the following steps:
(1) initializing a system engineering workflow environment, including initial time, a space environment, and various objects, personnel, task signals and various material resources;
(2) describing basic description and trigger constraint and behavior of the task node;
(3) and establishing a space-time Petri network and giving a basic operation rule.
The engineering system workflow modeling method based on the spatio-temporal Petri net is characterized in that the step (2) comprises the following steps,
the method comprises the steps of establishing basic nodes of the Petri network based on tasks, wherein task trigger constraints comprise task trigger signals, task priorities, required personnel, required objects and states thereof, required material resources, required trigger initial space, required time, a change function of occupied space with time during task execution and system condition description.
The engineering system workflow modeling method based on the spatio-temporal Petri net is characterized in that the step (3) comprises the following steps,
the post-task execution constraint comprises an object released after the task execution is finished and the state, personnel, material resources and space of the object;
describing Petri network transition constraints before and after the task is executed in a C + + like language;
the execution of the tasks is taken as basic activity, the space-time resources required by the tasks in the system engineering workflow, the objects, the personnel, the space movement of the personnel and the material resources, and the flow and consumption of the material resources are reflected, and a specific operation mechanism of the space-time Petri network system engineering workflow model is provided according to the space-time resources, the objects, the personnel, the space movement of the personnel and the material resources.
The engineering system workflow modeling method based on the spatio-temporal Petri net is characterized in that the step (1) comprises the following initial time requirement, the space environment, the initial personnel, the objects, the task signals and various material resources, and the expression is as follows:
TSPinit＝＜T,Tinit,S,Pinit,Oinit,Rinit，Signalinit＞
wherein the content of the first and second substances,
t represents the time unit of the workflow when the workflow is modeled, namely the cycle time of refreshing the task state and the model system state of the workflow model for one time;
Tinitindicating the time at which the workflow started;
S＝＜SB,H,SEthe three-dimensional space boundary of the workflow operation comprises an initial three-dimensional space and a final three-dimensional space when the workflow is modeled, the three-dimensional space consists of a plane (TL, TR, BL and BR) and a height H, the plane is composed of 4 coordinate points, and the plane coordinates are respectively a top left three-dimensional coordinate, a top right three-dimensional coordinate, a bottom left three-dimensional coordinate and a bottom right three-dimensional coordinate.
Figure BDA0002788269880000041
Indicating the number of people (0-j) the system is currently equipped with on different posts (0-i)
Figure BDA0002788269880000042
Indicating the number of resources (0-j) the system is currently equipped with on the different types (0-i)
Figure BDA0002788269880000043
Indicating the number of objects (0-j) that the system is currently equipped with on different types (0-i)
Figure BDA0002788269880000044
Signal ═ Sig, P >, indicates that there are automatic or manual signals in the system to trigger the relevant tasks, and are relevant to the constraints triggered by the tasks. Signal represents a Signal, and if P in Signal is an empty set, an automatic trigger Signal is represented; otherwise Signal is an artificial Signal representing a single trigger Signal or a joint trigger Signal from a single person or a plurality of persons P in a single or a plurality of posts.
The engineering system workflow modeling method based on the spatio-temporal Petri network, wherein the basic description, the trigger constraint, the trigger action and the release of the task nodes are described in the step (2)
The basic description of the task node is
Task＝＜Pr,T1,T2,State,Coordinate,S,Trigger,Post，Re lease > (ReeLease), wherein:
pr ═ 1, n, and indicates priority levels 1 to n, where 1 is the highest priority and n is the lowest priority
T1Representing the time required for the task to complete;
T2the time when the task has been executed is represented, and the initial value is 0;
state represents a task State, 00 represents non-execution, 01 represents execution, 10 represents completion of the execution, 11 represents waiting for execution, the executed task keeps a task State of 01 during the execution process, and after the execution is finished, the task State is updated to 00 and T is set2Resetting to 0, and keeping the task state of the unexecuted task 00 after the system is updated;
coordinate represents the Coordinate starting point when the task starts;
S＝SFunc(T2coordinate), the SFunc function indicates that the task node is at T according to the initial Coordinate2The space occupied by the task in real time is obtained at any moment;
trigger constraint Trigger of task node is ═ Ptrigger,Rtrigger,Strigger,OtriggerTherein, wherein
PtriggerRepresenting personnel required for task triggering, including personnel type and quantity;
Rtriggerrepresenting material resources required by task triggering, including material types and quantity;
Striggerrepresenting the trigger space environment required for task triggering, representing slave coordinationinitS of coordinate starting positive directiontriggerA space;
Otriggerrepresents the number (0-m) of different objects (0-n) required for task triggering;
execution constraint of task Post ≦ Ppost,Rpost,Spost,OpostTherein, wherein
PpostThe number (0-m) of people in different positions (0-n) required to be occupied by task execution is represented;
Rpostindicating that task execution needs to be consumed or occupiedThe number of resources (0-m) of the same type (0-n);
Spostthe space occupied between the workflow system space S, which represents the task execution needs to occupy, must satisfy SpostE is S; if the occupied space is not increased, Spost＝0；
OpostRepresenting the number (0-m) of different objects (0-n) that need to be occupied for task execution.
Release action Re leave < P after task executionrelease,Rrelease,Srelease,OreleaseTherein, wherein
PreleaseRepresenting the number of people (0-m) in different posts (0-n) released after the task is completed;
Rreleaserepresenting the number (0-m) of different resources (0-n) released after the task is completed;
Sreleasethe occupation space between the workflow system space S, which represents the release after the task is completed, must satisfy Srelease∈S；
OreleaseRepresenting the number (0-m) of different objects (0-n) released after the task is completed.
The engineering system workflow modeling method based on the spatio-temporal Petri network, wherein in the step (3), basic operation rules are given
The formalized description of the spatio-temporal Petri net TSP is:
TSP＝＜Start,TSPinittask, Trans, inFlow, outFlow, Over > wherein:
start: the method is a virtual starting node which represents the start of the workflow operation, can be connected by a plurality of subsequent tasks and represents the multi-priority tasks started in parallel; but no tasks are allowed to point to the Start node;
the Over node is a virtual end node which represents the end of the workflow operation, a plurality of previous tasks can be connected to the Over node, but the Over node is not allowed to point to any task node. Only after all the previous tasks are finished is the indication, the Over node is valid, namely the operation of the whole workflow is finished;
TSPinitinitialization of a space-time Petri net TSP, including initialization of initial time, space environment, and various objects, personnel, task signals (manual/automatic) and various material resources;
the Task is a basic Task node in the workflow model, and the triggering constraint and the running constraint of the Task are shown in 3.
Trans is a transition node in the workflow model, and Trans is < PreCondition, PostAction >. Trans combines inFlow and outFlow, and according to the current personnel, object, resource and space configuration of the system, whether the trigger condition PreCondition of the Task of the subsequent Task is met is judged, and the state of the Trans is updated; trans combines outFlow, and judges whether Task can execute PostAction according to Task priority, current personnel, object, resource, space configuration and Task signal, if yes, PostAction is executed, and Task state, current personnel, object, resource and space configuration of the system are updated.
The engineering system workflow modeling method based on the spatio-temporal Petri network is characterized in that the step (3) specifically comprises the following steps:
the inFlow points to Trans from the Task, which can allow multiple tasks to point to the same Trans, and represents whether the current TSP can meet the PreCondition under the condition of multiple previous tasks to trigger the subsequent tasks of the Trans. PreConditon adopts a C + + like description language and is a logic expression related to the inFlow and the current environment of the system; PreConditon is true, Trans is triggered, while the Task node following Trans is allowed to execute.
The outFlow points to the Task from the Trans, and the same Trans can be allowed to point to a plurality of tasks, which means that the Trans can trigger a plurality of subsequent tasks; according to the priority P in case of satisfying PreConditionrAnd judging the executable Task by the current environment of the system so as to execute the subsequent tasks of Trans, update the Task state and update the system environment. PreAction adopts a C + + like description language and is an executable expression related to outFlow, priority and the current environment of the system; and when the PostAction is true, the Task is really executed, the Task state is updated, and the system environment is updated, otherwise, the Task state is waiting for execution.
The basic operating rules of the TSP are:
(1) starting from the Start node, triggering an initial task according to personnel, objects, resources and space configuration of the system, priority of the task and triggered personnel, material resources and space configuration constraints, and starting operation of the workflow model TSP
(2) Time unit T according to workflowiWith TiAnd scanning all executing tasks periodically, judging whether the tasks are executed completely according to the execution time of all the executing tasks currently, and updating the Task state. If the state of the Task is 01, the Task is executed, and personnel, material resources and space resources cannot be released; if the Task state is 11, the Task is executed completely, the personnel, object, material resource and space configuration of the system are updated, and the Task state of the executed Task is set to be 10
(3) After the system state update per unit time is completed, all Trans are scanned. Trans combines inFlow and outFlow, and according to the current personnel, object, resource and space configuration of the system, whether the trigger condition PreCondition of the Task of the follow-up Task is met is judged, and the state of the Trans is updated until all the Trans; trans combines outFlow, and judges whether Task can execute PostAction according to Task priority, current personnel, object, resource and space configuration of the system, if yes, the Task can execute PostAction, and updates Task state, current personnel, object, resource and space configuration of the system until all tasks are executed.
(4) According to TiFor the period, the task and system updating is carried out according to (2) and (3),
(5) until the Precondition of the Over node is satisfied, the Over node can be triggered, namely, one complete operation of the workflow space-time Petri net is represented.
The invention has the following remarkable effects: (1) the invention provides modeling description of various objects, personnel and material resources in the system engineering workflow, and solves the complexity of the model elements of the system structure workflow;
(2) the method supports time and space modeling of the system engineering workflow, and accords with interaction and operation of each element in the system engineering workflow under a space-time environment;
(3) the invention supports task priority and task triggering constraint, execution action, change function of occupied space along with time during task execution and system condition description, and conforms to the complexity and space-time dynamics of task operation in system engineering workflow.
Drawings
FIG. 1 is an initial time, space environment modeling diagram of a TSP in the present invention
FIG. 2 is a modeling diagram of objects, persons, various material resources of the TSP in the present invention;
FIG. 3 is a task signal modeling diagram of a TSP in the present invention
FIG. 4 is a refueling slide-in task setting diagram of the TSP in the present invention
FIG. 5 is a graph illustrating aircraft fueling mission settings for a TSP in accordance with the present invention
FIG. 6 is a graph illustrating aircraft fueling glide mission setup with TSP in accordance with the present invention
FIG. 7 is an initial space-time Petri net for refueling an aircraft according to the invention
FIG. 8 is a time-space Petri net operation diagram for refueling an airplane in the invention
FIG. 9 is a time-space Petri net operation result diagram for refueling the airplane in the invention
Detailed Description
The technical scheme of the invention is explained in detail in the following with the accompanying drawings.
The invention discloses a space-time Petri net-based system engineering workflow modeling method, and a modeling system is developed for supporting system engineering workflow modeling. Firstly, establishing initial time, space environment, various objects, personnel, task signals (manual/automatic) and various material resources of a system engineering workflow; establishing basic nodes of the Petri network based on tasks, wherein the basic nodes comprise task priorities, time required for task completion, time for task execution, task states, coordinate starting points when the tasks start, task time/space functions, task trigger constraints and task execution; establishing task trigger constraints including task trigger signals, task priorities, required personnel, required objects and states thereof, required material resources, required trigger initial space, required time, a change function of occupied space along with time during task execution and system condition description; establishing task execution actions including space, various objects, personnel and various material resources consumed and occupied by task execution; establishing objects, personnel, material resources and spaces released after the task is executed; the constraints and behaviors of the tasks before and after execution are described in a C + + like language; the execution of the tasks is taken as basic activity, the flow, consumption and release of space-time resources, objects, personnel and space movement thereof and material resources required by the tasks in the workflow are reflected, and a specific operation mechanism of the space-time Petri network system engineering workflow model is provided according to the space-time resources, the objects, the personnel and the space movement thereof. The system engineering workflow modeling method based on the space-time Petri net-TSP comprehensively considers the configuration, constraint, occupation, consumption and release of elements such as space, time, personnel, objects, resources and the like in the workflow task, and can effectively model the system engineering workflow task environment with space-time requirements.
The technical scheme of the invention is specifically explained by taking the workflow modeling of airplane refueling as an example.
Step 1: modeling the initial time of the aircraft fueling workflow, the spatial environment, with a workflow initial time of 2019.11.17.19: 00, the plane coordinates and height of the spatial environment are (500,400), (2000 ), 200. As shown in fig. 1.
Step 2: modeling is carried out on various objects, personnel and various material resources, wherein the objects comprise airplanes and oil stations, the personnel comprise commanders, pilots and ground services, and the material data comprise aviation engine oil. As shown in fig. 2.
And step 3: modeling mission signals including allowing fueling to slide in, allowing aircraft to fueling, and allowing aircraft to slide out, as shown in FIG. 3
And 4, step 4: modeling the task nodes, including refueling slide-in, airplane refueling and airplane slide-out:
the refuel slides in as shown in figure 4. The task priority is 2, after the sliding-in signal is received, the airplane slides in at a constant speed, the position space changes at a constant speed along with time, and the specific setting of the oiling sliding-in task is as follows.
Task name: is refueled and slides in
Priority: 2
Start time: 2019.11.27.19: 00
Duration: 20 minutes
Execution time: 0
The state is as follows: 0
Start coordinates: (600, 1000),(1000 ),10
Spatial/temporal function: (X +10 × T2), (Y ═ Y), (Z ═ Z)
Triggering conditions are as follows: (signal. name ═ allow refueling slide) and (signal. state ═ 1)
Executing the action: (signal. name ═ allow refueling slide) and (signal. state ═ 0)
Release behavior: is free of
The aircraft fueling mission is illustrated in fig. 5. And the task priority is 2, after the refueling signal is received, if the fuel quantity in the fuel station is more than 500, the aircraft starts refueling, and the aviation engine oil is consumed 200. The following is a specific set-up for an aircraft fueling mission.
Task name: aircraft refueling
Priority: 2
Start time: 2019.11.27.19: 20
Duration: 20 minutes
Execution time: 0
The state is as follows: 0
Start coordinates: (800, 1000),(1000 ),10
Spatial/temporal function: (X ═ X), (Y ═ Y), (Z ═ Z)
Triggering conditions are as follows: (signal. name ═ airplane refueling ') and (signal. state ═ 1)) and (resource. name ═ aircraft oil ') and (resource. sum >500)) '.
Executing the action: (signal.name ═ aircraft fueling ') and (signal.state ═ 0)) and ((resource.name ═ aircraft oil') and (resource.sum ═ 200)
Release behavior: is free of
The aircraft roll-out mission is shown in figure 5. The task priority is 2, after the sliding-out signal is received, the airplane slides in at a constant speed, and the position space changes at a constant speed along with time. The following is a specific setup for the aircraft roll-off mission.
Task name: refuel the slide-out
Priority level: 2
Start time: 2019.11.27.19: 40
Duration: 10 minutes
Execution time: 0
And (3) state: 0
Start coordinates: (800, 1000),(1000 ),10
Spatial/temporal function: (X +10 × T2), (Y ═ Y), (Z ═ Z)
Triggering conditions are as follows: (signal. name ═ allow refueling slide out') and (signal. state ═ 1)
Executing the action: (signal. name ═ allow refueling slide out') and (signal. state ═ 1)
Release behavior: is free of
And 5: according to the logic of the airplane refueling workflow, the modeling elements and the constraints thereof are utilized to establish an initial space-time Petri network of the airplane refueling workflow, the starting signal is 1, other signals and task states are all initial states 0, and the workflow enters the initial state waiting for operation. As shown in fig. 7.
Step 6: the initial spatiotemporal Petri network of the airplane refueling workflow is operated, the received signal for allowing the airplane to slide in is 1, the starting signal is 1, other signals and tasks are all in the initial state 0, the workflow is in operation, and the result is shown in figure 8.
And 7: and (3) finishing the operation of the initial space-time Petri network of the airplane refueling workflow, enabling the signals to enter a reset state 0, enabling the tasks to enter a completion state 1, enabling the end signal to be 1, and finishing the operation of the workflow. The results are shown in FIG. 8.
The above embodiments are only for illustrating the technical idea of the present invention, and the protection scope of the present invention is not limited thereby, and any modifications made on the basis of the technical scheme according to the technical idea of the present invention fall within the protection scope of the present invention.

Claims (7)

1. A time-space Petri net-based engineering system workflow modeling method is characterized by comprising the following steps:
(1) initializing a system engineering workflow environment, including initial time, a space environment, and various objects, personnel, task signals and various material resources;
(2) describing the basic description and the triggering constraint and behavior of the task node;
(3) and establishing a space-time Petri network and giving a basic operation rule.
2. The engineering system workflow modeling method based on the spatio-temporal Petri net of claim 1, characterized in that: the step (2) comprises the following steps,
the method comprises the steps of establishing basic nodes of the Petri network based on tasks, wherein task trigger constraints comprise task trigger signals, task priorities, required personnel, required objects and states thereof, required material resources, required trigger initial space, required time, a change function of occupied space with time during task execution and system condition description.
3. The method for modeling the workflow of an engineering architecture based on a spatio-temporal Petri net as claimed in claim 1, wherein: the step (3) comprises the following steps,
the post-task execution constraint comprises an object released after the task execution is finished and the state, personnel, material resources and space of the object;
describing Petri network transition constraints before and after the task is executed in a C + + like language;
the execution of the tasks is taken as basic activity, the space-time resources required by the tasks in the system engineering workflow, the objects, the personnel, the space movement of the personnel and the material resources, and the flow and consumption of the material resources are reflected, and a specific operation mechanism of the space-time Petri network system engineering workflow model is provided according to the space-time resources, the objects, the personnel, the space movement of the personnel and the material resources.
4. The engineering system workflow modeling method based on the spatio-temporal Petri net as claimed in claim 1, wherein the step (1) comprises an initial time requirement, a spatial environment, an initial person, an object, a task signal and various material resources, and the expression is as follows:
TSPinit＝＜T,Tinit,S,Pinit,Oinit,Rinit，Signalinit＞
wherein, the first and the second end of the pipe are connected with each other,
t represents the time unit of the workflow when the workflow is modeled, namely the cycle time of refreshing the task state and the model system state of the workflow model once;
Tinitindicating the time at which the workflow started;
S＝＜SB,H,SEthe three-dimensional space boundary of the workflow operation comprises an initial three-dimensional space and a final three-dimensional space when the workflow is modeled, the three-dimensional space consists of a plane (TL, TR, BL and BR) and a height H, the plane is composed of 4 coordinate points, and the plane coordinates are respectively a top left three-dimensional coordinate, a top right three-dimensional coordinate, a bottom left three-dimensional coordinate and a bottom right three-dimensional coordinate.
Figure FDA0002788269870000021
Indicating the number of people (0-j) the system is currently equipped with on different posts (0-i)
Figure FDA0002788269870000022
Indicating the number of resources (0-j) the system is currently equipped with on different types (0-i)
Figure FDA0002788269870000023
Indicating the number of objects (0-j) that the system is currently equipped with on different types (0-i)
Figure FDA0002788269870000024
Signal [ < Sig, P > ], which represents a systemAutomatic or manual signals present in the system to trigger the relevant tasks, and to the constraints of the task triggering. Signal represents a Signal, and if P in Signal is an empty set, an automatic trigger Signal is represented; otherwise Signal is an artificial Signal representing a single trigger Signal or a joint trigger Signal from a single person or a plurality of persons P in a single or a plurality of posts.
5. The engineering system workflow modeling method based on the spatio-temporal Petri net as claimed in claim 4, characterized in that: in the step (2), the basic description, the trigger constraint, the trigger action and the release of the task node are described
The basic description of the task node is
Task＝＜Pr,T1,T2State, Coordinate, S, Trigger, Post, Re lease > (wherein:
pr ═ 1, n, and indicates priority levels 1 to n, where 1 is the highest priority and n is the lowest priority
T1Representing the time required for the task to complete;
T2the time when the task has been executed is represented, and the initial value is 0;
state represents task State, 00 represents non-execution, 01 represents execution, 10 represents completion of execution, 11 represents waiting for execution, the executed task keeps task State 01 during execution, and after execution is finished, the task State is updated to 00 and T is set2Resetting to 0, and keeping the task state of the unexecuted task 00 after the system is updated;
coordinate represents a Coordinate starting point when a task starts;
S＝SFunc(T2coordinate), the SFunc function indicates that the task node is at T according to the initial Coordinate2The space occupied by the task in real time is obtained at any moment;
trigger constraint Trigger of task node is ═ Ptrigger,Rtrigger,Strigger,OtriggerTherein, wherein
PtriggerIndicating personnel required by task triggering, including personnel type and quantity;
Rtriggerrepresenting material resources required by task triggering, including material types and quantity;
Striggerrepresenting the trigger space environment required for task triggering, representing slave coordinationinitS of coordinate starting positive directiontriggerA space;
Otriggerrepresents the number (0-m) of different objects (0-n) required for task triggering;
execution constraint of task Post ≦ Ppost,Rpost,Spost,OpostTherein, wherein
PpostThe number (0-m) of people in different positions (0-n) required to be occupied by task execution is represented;
Rpostthe number (0-m) of different types (0-n) of resources required to be consumed or occupied by the task execution is represented;
Spostthe space occupied between the workflow system space S, which represents the task execution needs to occupy, must satisfy SpostE is S; if the occupied space is not increased, Spost＝0；
OpostRepresenting the number (0-m) of different objects (0-n) that need to be occupied for task execution.
Release action Re leave < P after task executionrelease,Rrelease,Srelease,OreleaseTherein, wherein
PreleaseRepresenting the number of people (0-m) in different posts (0-n) released after the task is completed;
Rreleaserepresenting the number (0-m) of different resources (0-n) released after the task is completed;
Sreleasethe occupation space between the workflow system space S, which represents the release after the task is completed, must satisfy Srelease∈S；
OreleaseRepresenting the number (0-m) of different objects (0-n) released after the task is completed.
6. The engineering system workflow modeling method based on the spatio-temporal Petri net as claimed in claim 5, characterized in that: the step (3) gives a formal description of the basic operation rule space-time Petri net TSP as follows:
TSP＝＜Start,TSPinittask, Trans, inFlow, outFlow, Over > wherein:
start: the method is a virtual starting node which represents the start of the workflow operation, can be connected by a plurality of subsequent tasks and represents the multi-priority tasks started in parallel; but no tasks are allowed to point to the Start node;
the Over node is a virtual end node which represents the end of the workflow operation, a plurality of previous tasks can be connected to the Over node, but the Over node is not allowed to point to any task node. Only after all the previous tasks are finished is the indication, the Over node is valid, namely the operation of the whole workflow is finished;
TSPinitinitialization of a space-time Petri net TSP, including initialization of initial time, space environment, and various objects, personnel, task signals (manual/automatic) and various material resources;
the Task is a basic Task node in the workflow model, and the triggering constraint and the running constraint of the Task are shown in 3.
Trans is a transition node in the workflow model, and Trans is < PreCondition, PostAction >. Trans combines inFlow and outFlow, and according to the current personnel, object, resource and space configuration of the system, whether the trigger condition PreCondition of the Task of the subsequent Task is met is judged, and the state of the Trans is updated; trans combines outFlow, and judges whether Task can execute PostAction according to Task priority, current personnel, object, resource, space configuration and Task signal, if yes, PostAction is executed, and Task state, current personnel, object, resource and space configuration of the system are updated.
7. The engineering system workflow modeling method based on the spatio-temporal Petri net of claim 6, characterized in that: the step (3) specifically comprises the following steps:
the inFlow points to Trans from the tasks, multiple tasks can be allowed to point to the same Trans, and whether the current TSP can meet PreCondition or not under the condition of multiple preceding tasks is indicated so as to trigger the subsequent tasks of the Trans. PreConditon adopts a C + + like description language and is a logic expression related to the inFlow and the current environment of the system; PreConditon is true, Trans is triggered, while the Task node following Trans is allowed to execute.
The outFlow points to the Task from the Trans, and the same Trans can be allowed to point to a plurality of tasks, which means that the Trans can trigger a plurality of subsequent tasks; according to the priority P in case of satisfying PreConditionrAnd judging the executable Task by the current environment of the system so as to execute the subsequent tasks of Trans, update the Task state and update the system environment. PreAction adopts a C + + like description language and is an executable expression related to outFlow, priority and the current environment of the system; and when the PostAction is true, the Task is really executed, the Task state is updated, and the system environment is updated, otherwise, the Task state is waiting for execution.
The basic operating rules of the TSP are:
(1) starting from the Start node, triggering an initial task according to personnel, objects, resources and space configuration of the system, priority of the task and triggered personnel, material resources and space configuration constraints, and starting operation of the workflow model TSP
(2) Time unit T according to workflowiWith TiAnd scanning all executing tasks periodically, judging whether the tasks are executed completely according to the execution time of all the executing tasks currently, and updating the Task state. If the state of the Task is 01, the Task is executed, and personnel, material resources and space resources cannot be released; if the Task state is 11, the Task is executed completely, the personnel, object, material resource and space configuration of the system are updated, and the Task state of the executed Task is set to be 10
(3) After the system status update per unit time is completed, all the Trans are scanned. Trans combines inFlow and outFlow, and according to the current personnel, object, resource and space configuration of the system, whether the trigger condition PreCondition of the Task of the follow-up Task is met is judged, and the state of the Trans is updated until all the Trans; trans combines outFlow, and judges whether Task can execute PostAction according to Task priority, current personnel, object, resource and space configuration of the system, if yes, the Task can execute PostAction, and updates Task state, current personnel, object, resource and space configuration of the system until all tasks are executed.
(4) According to TiFor the period, the task and system updating is carried out according to (2) and (3),
(5) until the Precondition of the Over node is satisfied, the Over node can be triggered, namely, one complete operation of the workflow space-time Petri net is represented.
CN202011305708.XA 2020-11-20 2020-11-20 Engineering system workflow modeling method based on space-time Petri net Pending CN114519479A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011305708.XA CN114519479A (en) 2020-11-20 2020-11-20 Engineering system workflow modeling method based on space-time Petri net

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011305708.XA CN114519479A (en) 2020-11-20 2020-11-20 Engineering system workflow modeling method based on space-time Petri net

Publications (1)

Publication Number Publication Date
CN114519479A true CN114519479A (en) 2022-05-20

Family

ID=81594310

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011305708.XA Pending CN114519479A (en) 2020-11-20 2020-11-20 Engineering system workflow modeling method based on space-time Petri net

Country Status (1)

Country Link
CN (1) CN114519479A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115577990A (en) * 2022-12-08 2023-01-06 中国人民解放军国防科技大学 Method for establishing equipment system task reliability model

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115577990A (en) * 2022-12-08 2023-01-06 中国人民解放军国防科技大学 Method for establishing equipment system task reliability model

Similar Documents

Publication Publication Date Title
CN107193639B (en) Multi-core parallel simulation engine system supporting combined combat
CN103699106B (en) Based on the multiple no-manned plane cotasking planning simulation system of VR-Forces emulation platform
Saifutdinov et al. Digital twin as a decision support tool for airport traffic control
CN101582203A (en) Realization system and method for airspace running simulation airflow engine
CN109871635B (en) Operation scene modeling method for capturing top-layer requirements of civil aircraft
CN112633562B (en) Airport stand intelligent scheduling method
CN113722912A (en) Virtual-real fused unmanned cluster collaborative verification system
CN114519479A (en) Engineering system workflow modeling method based on space-time Petri net
CN107622177B (en) Aviation delivery simulation method based on EATI method
CN116167230A (en) Group intelligent simulation test system and method for water surface unmanned cluster
CN101702214A (en) Capability requirement analysis method of great-scale complex system
CN115016537A (en) Heterogeneous unmanned aerial vehicle configuration and mission planning joint optimization method under SEDA scene
CN116027739A (en) Cluster warehouse-in and warehouse-out transportation collaborative scheduling optimization method, device and equipment
CN103514321A (en) General federal member applied to HLA distributed simulation method
CN114970086B (en) Complex system-level digital twin construction method based on data space
CN112287521A (en) Decision-making platform of intelligent combat equipment
CN113111441B (en) Method for constructing cluster unmanned aerial vehicle task model based on adjacency relation
CN111104296B (en) Carrier-based aircraft carrier landing task risk control method based on GERT
CN105824999A (en) System-dynamics-based balance design method for weapon support system
CN114282366B (en) Aerial formation and entity two-stage resolution simulation modeling method
CN112214209B (en) Modeling method for interaction information and task time sequence in unmanned aerial vehicle operation scene
Aybar et al. Supervisory control of discrete-event systems modeled by timed-arc Petri nets
CN111190356A (en) Simulation decision support system, method and realization method of simulation decision support system
Tian et al. Design space exploration in aircraft conceptual design phase based on system-of-systems simulation
Abrosimov et al. Photofit of Perspective Vehicles: Shape's Synthesis and Flight Parameters Evaluation

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination