A Taxonomy of Persistent and Nonviolent Steps
A Taxonomy of Persistent and Nonviolent Steps
复制标题
DOI：
10.1007/978-3-642-38697-8_12
复制
发表时间：
2013-06
期刊：
影响因子：
--
通讯作者：
M. Koutny;Lukasz Mikulski;Marta Pietkiewicz-Koutny
中科院分区：
文献类型：
--
作者：
M. Koutny;Lukasz Mikulski;Marta Pietkiewicz-Koutny
一个并发系统是持久的，如果在其整个操作过程中，没有一个活动可以被任何其他活动阻止执行。这通常是一个非常理想的（甚至是必要的）属性;特别是，如果系统要在硬件中实现。在过去的40年里，持久性已经被研究并应用于实际实现中，假设每个活动都是一个可以表示的单个原子动作，例如，由Petri网的单个转换。最近，事实证明，为了处理GALS系统的合成，还需要考虑由步骤表示的活动，每个步骤是一组同时执行的转换。进入基于步骤的执行领域，语义产生了大量新的基本问题和疑问。特别是，有不同的方法可以将持久性的标准概念从顺序语义的级别提升到步骤语义的级别。此外，人们可以考虑持久的、不能被其他步骤所禁用的步骤，以及非暴力的、不能禁用其他步骤的步骤。在本文中，我们提供了一个分类的不同类型的持久性和非暴力，无论是步骤和标记的PT网。我们还调查了这些概念的行为和结构特性。
A concurrent system is persistent if throughout its operation no activity which became enabled can subsequently be prevented from being executed by any other activity. This is often a highly desirable (or even necessary) property; in particular, if the system is to be implemented in hardware. Over the past 40 years, persistence has been investigated and applied in practical implementations assuming that each activity is a single atomic action which can be represented, for example, by a single transition of a Petri net. Recently, it turned out that to deal with the synthesis of GALS systems one also needs to consider activities represented by steps, each step being a set of simultaneously executed transitions. Moving into the realm of step based execution, semantics creates a wealth of new fundamental problems and questions. In particular, there are different ways in which the standard notion of persistence could be lifted from the level of sequential semantics to the level of step semantics. Moreover, one may consider steps which are persistent and cannot be disabled by other steps, as well as steps which are nonviolent and cannot disable other steps. In this paper, we provide a classification of different types of persistence and nonviolence, both for steps and markings ofpt-nets. We also investigate behavioural and structural properties of such notions.