Sign in

Research of Workflow Modeling Based on Concurrent Transaction Logic.

Zhilin FengJianwei YinZhaoyang He
Published in: CSCWD (2006)
Keyphrases
  • database
  • data sets
  • concurrent execution
  • business processes
  • petri net
  • workflow management systems
  • classical logic
  • long running
  • data flow
  • modeling method
  • automated reasoning
  • real time database systems