Structural soundness of workflow nets is decidable

Authors:
Ferucio Laurentiu Tiplea;Dan Cristian Marinescu
Affiliations:
School of Computer Science, University of Central Florida, Orlando, FL and Department of Computer Science, "Al.I. Cuza" University, Iasi, Romania;School of Computer Science, University of Central Florida, Orlando, FL
Venue:
Information Processing Letters
Year:
2005

Citing 3
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Decidability and Complexity of Petri Net Problems - An Introduction

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Soundness and separability of workflow nets in the stepwise refinement approach

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.89

Visualization

Abstract

The problem of deciding whether a given workflow net is k-sound for some k ≥ 1 is known as structural soundness. We prove that structural soundness of workflow nets is decidable.