Login / Signup
Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification.
Shaokun Fan
Wan-Chun Dou
Jinjun Chen
Published in:
APWeb/WAIM Workshops (2007)
Keyphrases
</>
data flow
control flow
database machine
workflow model
symbolic execution
object oriented software
data transfer
digital signal processing
control system
model checking
databases
modeling language
workflow management systems
e government
colored petri nets
xml documents
database