Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems

Table 1

Initial production plan and daily events.

Time	Production plans and events occurred
10:10:49	Production begins (# of order: 20/# of inventory: 10/# of production: 0)
12:53:01	Additional order comes (# of additional order: 4, # of total order: 24)
13:00	Additional inventory comes (# of additional order: 6)
14:30	Additional inventory comes (# of additional order: 6)
19:00	Expected production finish time