A taxonomy of persistent and nonviolent steps

  • Authors:

  • Maciej Koutny;Łukasz Mikulski;Marta Pietkiewicz-Koutny

  • Affiliations:

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, U.K.;School of Computing Science, Newcastle University, Newcastle upon Tyne, U.K.,Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Poland;School of Computing Science, Newcastle University, Newcastle upon Tyne, U.K.

  • Venue:
  • PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 of pt-nets. We also investigate behavioural and structural properties of such notions.