Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In Luis M. Camarinha-Matos, editor, Technological Innovation for Sustainability - Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. Volume 349 of IFIP, pages 237-245, Springer, 2011. [doi]
Abstract is missing.