On Petri-net synthesis and attribute-based visualization
On Petri-net synthesis and attribute-based visualization
复制标题
Petri网综合和基于属性的可视化
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
J. V. Wijk
中科院分区：
文献类型：
--
作者：
H. Verbeek;A. J. Pretorius;Wil M.P. van der Aalst;J. V. Wijk
抽象的。状态空间可视化对于很好地理解系统的行为是很重要的。不幸的是，今天的可视化工具通常忽略了状态可能具有属性的事实。基于这些属性，一些状态在抽象之后可以被认为是等价的，并且因此可以被聚类，这简化了状态空间。基于属性的可视化工具是这个规则的例外。这些工具可以处理属性。在本文中，我们研究了基于Petri网的方法。Petri网中的位置直接对应于属性。此外，我们可以使用现有的技术来自动地从一些状态空间中导出一个Petri网，也就是说，自动地向该状态空间添加属性。因此，我们可以对任何状态空间使用基于属性的可视化工具。不幸的是，这种方法受到这样一个事实的阻碍，即不是每个状态空间的结果在一个可用的Petri网。
Abstract. State space visualization is important for a good understanding of the system’s behavior. Unfortunately, today’s visualization tools typically ignore the fact that states might have attributes. Based on these attributes, some states can be considered equivalent after abstraction, and can thus be clustered, which simplifies the state space. Attributebased visualization tools are the exception to this rule. These tools can deal with attributes. In this paper, we investigate an approach based on Petri nets. Places in a Petri net correspond in a straightforward way to attributes. Furthermore, we can use existing techniques to automatically derive a Petri net from some state space, that is, to automatically add attributes to that state space. As a result, we can use attribute-based visualization tools for any state space. Unfortunately, the approach is hampered by the fact that not every state space results in a usable Petri net.