Ten Years of Saturation: A Petri Net Perspective
Ten Years of Saturation: A Petri Net Perspective
复制标题
十年饱和：Petri 网视角
DOI：
10.1007/978-3-642-29072-5_3
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Xiaoqing Jin
中科院分区：
文献类型：
--
作者：
Gianfranco Ciardo;Yang Zhao;Xiaoqing Jin
由于其吸引人的概念简单性和可用的计算机工具进行分析，Petri网被广泛用于建模离散事件系统在许多领域的工程。然而，进行Petri网模型的分析所需的计算资源往往是巨大的，阻碍了他们的实际影响。在这项调查中，我们考虑如何符号方法的基础上使用的决策图可以大大增加规模的Petri网，一个普通的计算机可以合理地处理。特别是，我们提出了这项调查的角度来看，我们提出了十年前的有效饱和方法，并介绍了沿着的方式最合适的类决策图回答重要的Petri网问题，从可达性CTL模型检查和反例生成，从p-半流计算的解决方案的时间或马尔可夫网。
Due to their appealing conceptual simplicity and availability of computer tools for their analysis, Petri nets are widely used to model discrete-event systems in many areas of engineering. However, the computational resources required to carry out the analysis of a Petri net model are often enormous, hindering their practical impact. In this survey, we consider how symbolic methods based on the use of decision diagrams can greatly increase the size of Petri nets that an ordinary computer can reasonably tackle. In particular, we present this survey from the perspective of the efficient saturation method we proposed a decade ago, and introduce along the way the most appropriate classes of decision diagrams to answer important Petri net questions, from reachability to CTL model checking and counterexample generation, from p-semiflow computation to the solution of timed or Markovian nets.
DOI：
10.1007/978-3-540-72522-0_4
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Clark A
通讯作者：
Clark A