Paper Info
Title
Structural And Behavioral Properties Of Well-Structured Workflow Nets
Abstract
Workflow nets (WF-nets for short) are a standard way to automate business processes. Well-Structured WF-nets (WS WF-nets for short) are an important subclass of WF-nets because they have a wellbalanced capability to expression power and analysis power. In this paper, we revealed structural and behavioral properties of WS WF-nets. Our results on structural properties are: (i) There is no EFC but non-FC WF-net in WS WF-nets; (ii) A WS WF-net is sound iff it is a van Hee et al.'s ST-net. Our results on behavioral properties are: (i) Any WS WF-net is safe; (ii) Any WS WF-net is separable; (iii) A necessary and sufficient condition on reachability of sound WS WF-net (N, [p1(k)]). Finally we illustrated the usefulness of the proposed properties with an application example of analyzing workflow evolution.
Year
DOI
Venue
2017
10.1587/transfun.E100.A.421
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
Keywords
Field
DocType
Petri net, workflow net, well-structured, soundness, Teachability, separability
Data science,Petri net,Software engineering,Computer science,Theoretical computer science,Workflow nets
Journal
Volume
Issue
ISSN
E100A
2
0916-8508
Citations 
PageRank 
References 
0
0.34
7
Authors
2
Name
Order
Citations
PageRank
Zhaolong Gou111.70
Yamaguchi, S.2127.14