Verification of Resource Constraints for Concurrent Workflows.

Jingfu Zhong Binheng Song

Published in: SYNASC (2005)

Keyphrases

resource constraints
resource constrained
grid workflow
temporal constraints
model checking
resource constrained project scheduling problem
resource availability
workflow processes
project scheduling
routing problem
database systems
dynamic programming
business processes
cellular automata