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

<table class="table-group" id="tab4"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Workflow element</td><td class="align_center">CPN element</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">Tasks</td><td class="align_center">Transitions</td></tr><tr><td class="align_left">Resources and products</td><td class="align_center">Tokens</td></tr><tr><td class="align_left">Types of resources and products</td><td class="align_center">Colors</td></tr><tr><td class="align_left">Warehouse and staff pool</td><td class="align_center">Places</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Discrete Dynamics in Nature and Society

tab4

Table 4

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

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