Simplification rules and linear temporal inference of workflow models based on Fuzzy-Timing Colored Petri Nets.

Hui Pang, Zongde Fang

Browse the full CSCWD paper archive.