Luís Gomes, Anikó Costa. Petri nets as supporting formalism within Embedded Systems Co-design. In International Symposium on Industrial Embedded Systems, IES 2006, Antibes Juan-Les-Pins, France, October 18-20, 2006. pages 1-4, IEEE, 2006. [doi]
Abstract is missing.