Félix F. Ramos, Fabiel Zúñiga, Antonio Alcala, H. Ivan Piza. Specification of distributed systems using multi-Level Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003. pages 604-609, IEEE, 2003. [doi]
Abstract is missing.