Mutton Traceability Method Based on Internet of Things

Table 1

The flow of events.

Event	Preconditions	Postcondition
t0	s0	s1
t1	s1	s2
t2	s2	s3, s4
t3	s3	s5
t4	s4	s6
t5	s5	s6, s7
t6	s7	s8, s9
t7	s9	s10
t8	s10	s11
t9	s10	s12
t10	s11, s12	s13
t11	s13	s14, s15
t12	s14, s15	s16
t13	s16	s17
t14	s17	s18
t15	s18	s19