Michael Köhler and Heiko Rölke.
Modelling sandboxes for mobile agents using nets within nets.
In N. Busi and F. Martinelli, editors, Workshop on Issues in
Security and Petri Nets (WISP'03) at the International Conference on
Application and Theory of Petri Nets 2003. University of Eindhoven, 2003.
@InProceedings{Koehler+03n, author = {K{\"o}hler, Michael and R{\"o}lke, Heiko}, title = {Modelling Sandboxes for Mobile Agents using Nets within Nets}, booktitle = {Workshop on Issues in Security and {Petri} Nets (WISP'03) at the International Conference on Application and Theory of {Petri} Nets 2003}, year = 2003, editor = {Busi, N. and Martinelli, F.}, publisher = {University of Eindhoven} }