In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
This process becomes slightly more complicated with data standardization, probabilistic matching, or customized search and match rules. However, in all cases, consider the following points.
此流程变得更复杂了，带有数据标准化、概率匹配或自定义搜索和匹配规则。
This paper fulfills temporal reasoning for the exhaustive and exclusive process by using the probabilistic temporal network, and shows the process by a real-world example.
利用概率时间网络，对完备相互排他过程进行时间推理，并以一个具体的实例，对此过程进行了说明。
应用推荐