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 element | Explanation |
| | , 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 |
|
|