Research Article

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

Table 1

PN element interpretation.

PN elementExplanation

, a finite set of places
, a finite set of transitions
, a set of arcs (flow relations)
, a nonempty and finite set of weightings for arcs
, , initial marking
A colored function from to W
Forward (backward) incidence matrix of , where is a function from to , where is the set of nonnegative integers
Initial marking of the net which is a vector of , where is a function from to
Firing time function, which assigns the nonnegative (average) firing time to each transition of the net
The number of classes that model the system dynamics
Priority index for different products or jobs
The set of variables in NHTCPN