| | Place/transition | Meaning |
| | Sn0 | Receiver initiates data exchange verification | | sn11, sn21, …, sn1 | The validating node receives the initiator ID | | sn12, sn22, …,snn2 | The total exchange data of the initiator stored by the verification node | | sn13, sn23, …, sn3 | The total number of initiator exchanges stored by the verification node | | sn14, sn24, …, sn4 | Awaiting verification | | sn15, sn25, …, snn5 | Data exchange is legal | | sn16, sn26, …, sn6 | Illegal data exchange | | sn7 | Data exchange legal vote | | sn8 | Illegal data exchange voting | | sn9 | Complete data exchange | | sn10 | Terminate data exchange | | sn11 | Block formation | | sn12 | Guardian input place | | sf1, sf2, …, sfn | Originator’s creditworthiness | | to0 | The receiver broadcasts the transaction to the entire network | | to11, to21, …, ton1 | Verification node for legitimacy verification | | to12, to22, …, ton2 | Originator’s creditworthiness | | to3 | Calculation of legal data exchange votes | | to4 | Calculate the illegal data exchange vote and verify that the node will complete the data exchange | | to5 | Publish to the web | | td0 | Daemon (used to ensure the consistency of data exchange results) | | td11, td21, …, tdn1 | The delay required for the data exchange to complete | | td12, td22, …, tdn2 | Network delay | | td13, td23, …, tdn3 | Network delay |
|
|
