Login / Signup

Verification of Timed BPEL 2.0 Models.

Elie FaresJean-Paul BodeveixMamoun Filali
Published in: BMMDS/EMMSAD (2011)
Keyphrases
  • colored petri nets
  • petri net
  • statistical models
  • service oriented
  • formal methods
  • machine learning algorithms
  • complex systems
  • prior knowledge
  • business processes
  • process model
  • autoregressive