Login / Signup

Designing a Workflow System Using Coloured Petri Nets.

Nick C. RussellWil M. P. van der AalstArthur H. M. ter Hofstede
Published in: Trans. Petri Nets Other Model. Concurr. (2009)
Keyphrases
  • coloured petri nets
  • formal verification
  • workflow management
  • database
  • image segmentation
  • real time
  • social networks
  • web services
  • similarity measure
  • bayesian networks
  • probabilistic model
  • data flow