Login / Signup

Formalizing Workflow with Location Constraints by Colored Petri Nets.

Yahui LuZhong MingHaofei YuHui WangLi Zhang
Published in: ICEBE (2014)
Keyphrases
  • colored petri nets
  • petri net
  • constrained optimization
  • multiple constraints
  • process model
  • location based services
  • geometric constraints
  • global constraints