Dariusz Rzonca, Bartosz Trybus. Hierarchical Petri Net for the CPDev Virtual Machine with Communications. In Andrzej Kwiecien, Piotr Gaj, Piotr Stera, editors, Computer Networks - 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings. Volume 39 of Communications in Computer and Information Science, pages 264-271, Springer, 2009. [doi]
Abstract is missing.