@misc{indiciae9adfc423c1c2,
  title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
  author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
  year = {2018},
  url = {https://arxiv.org/abs/1803.07007},
  note = {Source identifier: 1803.07007}
}