A Heuristic Method for Temporal Analysis Based on Petri Net

 Fu、Jianming、Zhu Zhu、Fu-xi、Xiong、Hui Hui

2002Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 2

摘要

基于 Reachability 的分析和时间的分析被用来验证并发的系统的性质，并且利用快、有效的方法是重要的。这份报纸与 Petri 网的转变系统的边给时间的公式的语义，然后介绍一个快时间的分析方法，它利用 Petri 网和时间的逻辑。当路径不根据 Petri 网的踪迹语义满足一个性质，并且能直接在 Petri 网上验证性质时，方法仅仅扩展等价踪迹的一条路径。而且，我们利用最小的度在里面外面作为启发规则一个节点跟踪选择一个等价的一条路径。最后，我们表明减少说空格的方法的有效性并且与试验性的结果改进确认系统。

引用本文（GB/T 7714）

 Fu, Jianming, Zhu Zhu, 等. A Heuristic Method for Temporal Analysis Based on Petri Net[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2002.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。