by Leeuwen, M. van and Somers, L.J.A.M. and Voorhoeve, M. and Werf, J.M.E.M. van der
Reference:
Verification of RoseRT models using Petri nets (Leeuwen, M. van and Somers, L.J.A.M. and Voorhoeve, M. and Werf, J.M.E.M. van der), In Proceedings International Workshop on Petri Nets and Distributed Systems (PNDS’08, Xi’an, China, June 23-24, 2008) (Sidorova, N., Moldt, D., Roelke, H., eds.), 2008.
Bibtex Entry:
@inproceedings{verifRoseRTwithPN,
  author = {Leeuwen, {M. van} and Somers, {L.J.A.M.} and Voorhoeve, {M.} and Werf, {J.M.E.M. van der}},
  year = {2008},
  title = {{Verification of RoseRT models using Petri nets}},
  editor = {Sidorova, {N.} and Moldt, {D.} and Roelke, {H.}},
  booktitle = {Proceedings International Workshop on Petri Nets and Distributed Systems (PNDS'08, Xi'an, China, June 23-24, 2008)},
  pages = {1 -- 16},
}

Verification of RoseRT models using Petri nets