Filipe Moutinho, Luís Gomes. Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. In Luis M. Camarinha-Matos, Slavisa Tomic, Paula Graça, editors, Technological Innovation for the Internet of Things - 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings. Volume 394 of IFIP Advances in Information and Communication Technology, pages 221-228, Springer, 2013. [doi]
Abstract is missing.