In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilisticprocess algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
2
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.
此流程变得更复杂了，带有数据标准化、概率匹配或自定义搜索和匹配规则。
3
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.