This paper fulfills temporal reasoning for the exhaustive and exclusiveprocess by using the probabilistic temporal network, and shows the process by a real-world example.
利用概率时间网络，对完备相互排他过程进行时间推理，并以一个具体的实例，对此过程进行了说明。
2
Ownership of a process might change but is otherwise strictly exclusive.
进程的所有权可能会改变，但必须严格保持其独占性。
3
The process of gaining an exclusive right to something is called locking.