Creator:
Contributor:
Korbicz, Józef - red. ; Uciński, Dariusz - red.
Title:
An analytical method for well-formed workflow/Petri net verification of classical soundness
Group publication title:
Subject and Keywords:
Petri nets ; decidability ; workflow nets ; Lyapunov stability ; soundness ; verification
Abstract:
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Date:
Resource Type:
DOI:
Pages:
Source:
AMCS, volume 24, number 4 (2014) ; click here to follow the link