Detailing and introducing time concepts into the process of cold chain distribution may increase the complexity of process models based on Petri nets and cause state explosion problems. Simple Petri net analysis methods could not meet the analysis requirements of complex cold chain distribution systems. Classic PN formalism is extended with color and time features (Timed Colored Petri Nets). A cold chain distribution model based on TCPN is presented for understanding the operational conditions of cold chain distribution processes. Graph reductions, such as the sequence rule, parallel rule, selection rule, and circulation rule, these rules are used to verify the correctness of the TCPN cold chain distribution model by reducing a complicated model in step by step fashion.
展开▼