by Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der
Reference:
Business Process Modeling Using Petri Nets (Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der), In Trans. Petri Nets and Other Models of Concurrency, Springer, volume 7, 2013.
Bibtex Entry:
@article{HeeSW13b,
  author    = {Hee, {K.M. van} and Sidorova, N. and Werf, J.M.E.M. van der},
  title     = {Business Process Modeling Using Petri Nets},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {7},
  pages     = {116--161},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38143-0_4},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

Business Process Modeling Using Petri Nets