Analyzing behavioral properties of semantic business processes with parametric data

@article{Ibez2011AnalyzingBP,
  title={Analyzing behavioral properties of semantic business processes with parametric data},
  author={Mar{\'i}a Jos{\'e} Ib{\'a}{\~n}ez and Pedro {\'A}lvarez and Joaqu{\'i}n Ezpeleta},
  journal={Concurrency and Computation: Practice and Experience},
  year={2011},
  volume={23},
  pages={525-555}
}