In addition, it includes the initial status and the end status of the port supply chain; 𝑆𝑎𝑏𝑛𝑜𝑟𝑚𝑎𝑙Sabnormal: A set of limited non-empty states, which indicates that the PSC smart contract is in an abnormal state space. This set contains all abnormal states, such ...