Rafael Rieder, Alberto Barbosa Raposo, Márcio Sarroglia Pinho. A methodology to specify three-dimensional interaction using Petri Nets. Journal of Computer Languages, 21(3):136-156, 2010. [doi]
@article{RiederRP10, title = {A methodology to specify three-dimensional interaction using Petri Nets}, author = {Rafael Rieder and Alberto Barbosa Raposo and Márcio Sarroglia Pinho}, year = {2010}, doi = {10.1016/j.jvlc.2010.01.002}, url = {http://dx.doi.org/10.1016/j.jvlc.2010.01.002}, researchr = {https://researchr.org/publication/RiederRP10}, cites = {0}, citedby = {0}, journal = {Journal of Computer Languages}, volume = {21}, number = {3}, pages = {136-156}, }