Paper Info
Title
Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification.
Abstract
This paper presents a novel analytical method for soundness verification of workflow nets and reset workflow nets, using the well-known stability results of Lyapunov for Petri nets. We also prove that the soundness property is decidable for workflow nets and reset workflow nets. In addition, we provide evidence of several outcomes related with properties such as boundedness, liveness, reversibility and blocking using stability. Our approach is validated theoretically and by a numerical example related to traffic signal-control synchronisation.
Year
DOI
Venue
2017
10.1080/0952813X.2015.1080472
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE
Keywords
Field
DocType
Workflow nets,Lyapunov stability,soundness,decidability,verification,traffic signal-control,Petri nets
Lyapunov function,Synchronization,Petri net,Computer science,Lyapunov stability,Decidability,Workflow nets,Soundness,Distributed computing,Liveness
Journal
Volume
Issue
ISSN
29.0
1
0952-813X
Citations 
PageRank 
References 
0
0.34
24
Authors
1
Name
Order
Citations
PageRank
Julio B. Clempner19120.11