Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions

Table 2

Mathematical variable interpretation.

Symbol	Description
n	The number of workflows
	The set of workflows
	The workflow in the workflow set
	The number of substructures in the workflow
	The set of substructures in workflow ,
	The substructure of workflow
	The number of tasks of substructure
	The task set of substructure,
	The task in the substructure
	Predecessor set of task
	Deadline for the project
	The number of resource types
	The resource vector owned at the current time t
	Resource vector required for task execution
	Time required for task to execute
	Time when task started to execute
	Time when task execution ends
	The earliest start time of the task (calculated according to the project start time)
	The latest end time of the task (calculated according to the project deadline)
	Time to complete the critical path of workflow
	Average completion time of all workflows
	Standard deviation of completion time