Instance deadlock: a mystery behind frozen programs

  • Authors:

  • Gabriel Juhás;Igor Kazlov;Ana Juhásová

  • Affiliations:

  • Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovakia;Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovakia;Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovakia

  • Venue:
  • PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the paper we discuss the event-driven reactive programs and systems, which does not deadlock for one instance, but because of shared resources, can deadlock for several instances. We focus on event-driven programs, where instances have a correct finish, and resources can be used by single instances, but can neither be destroyed nor created by instances. Typical examples include workflow processes, where each case creates an instance of the process and instances share resources used to execute single activities. Formally, we model such event-driven programs and systems by workflow nets, enriched by so called static places, introduced in [3] as resource constrained workflow nets (rcwf-nets). We investigate, whether an rcwf-net, which is sound for a single instance is sound for multiple instances (dynamically sound) or whether it contains an instance deadlock for a number of instances. We show that the detection of instance deadlock and the dynamic soundness of rcwf-nets is decidable by transforming the problem to bounded place/transition Petri nets.