@misc{indiciae8e20e869b7f4,
  title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
  author = {Faustin Ahishakiye and José Ignacio Requeno Jarabo and Lars Michael Kristensen and Volker Stolz},
  year = {2020},
  url = {https://arxiv.org/abs/2005.09806},
  note = {Source identifier: 2005.09806}
}