Autor:

Clempner, Julio

Współtwórca:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Tytuł:

An analytical method for well-formed workflow/Petri net verification of classical soundness

Tytuł publikacji grupowej:

AMCS, Volume 24 (2014)

Temat i słowa kluczowe:

Petri nets ; decidability ; workflow nets ; Lyapunov stability ; soundness ; verification

Abstract:

In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method for showing that a workflow net satisfies the classical soundness property using a Petri net. To present our statement, we use Lyapunov stability theory to tackle the classical soundness verification problem for a class of dynamical systems described by Petri nets.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2014

Typ zasobu:

artykuł

DOI:

10.2478/amcs-2014-0068

Strony:

931-939

Źródło:

AMCS, volume 24, number 4 (2014) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego