by Bera, D. and Hee, K.M. van
Reference:
Designing Weakly Terminating ROS Systems (Bera, D. and Hee, K.M. van), In Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012), Springer, Berlin, volume 7347, 2012.
Bibtex Entry:
@inproceedings{BHW12,
  author = {Bera, {D.} and Hee, {K.M. van} and Werf, {J.M.E.M. van der}},
  year = {2012},
  title = {Designing Weakly Terminating ROS Systems},
  booktitle = {Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012)},
  series = {Lecture Notes in Computer Science},
  volume = {7347},
  pages = {328 -- 347},
  publisher = {Springer, Berlin}
}

Designing Weakly Terminating ROS Systems