Nondeterministic Probabilistic Petri Net -- A New Method to Study Qualitative and Quantitative Behaviors of System
Yang Yang, Liu ., Huai-Kou, Miao Miao, Hongwei, Zeng, Yan, Ma, Pan · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2013
目前有 Petri 网的许多变体，并且他们中的一些能被用来与功能和性能说明为系统建模，例如随机的 Petri 网，概括随机的 Petri 网络和概率的 Petri 网。在这份报纸，我们利用扩大 Petri 网处理除功能方面以外与概率和 nondeterminism 为系统建模并且验证的问题。把概率的 Petri 网用作引用，我们建议新混合模型 NPPN (Nondeterministic 概率的 Petri 网络) 系统，它能与质、量的行为为系统建模并且验证。然后，我们开发一种过程代数学让 NPPN 系统解释它的代数学的语义，和基于行动的 PCTL (概率的计算树逻辑) 解释它的逻辑语义。以后我们在场 NPPN 系统的组合操作的规则基于 NPPN 系统处理基于基于行动的 PCTL 检查算法的代数学，和模型。以便实践 NPPN 系统，我们为为用基于行动的 PCTL 的 NPPN 系统建模，分析，模仿，并且验证开发一个友好、视觉的工具。NPPN 系统的实用性和有效性被当模特儿和检查旅行安排工作流的一个精致的模型的模型说明。