@conference {INDIN2007split, title = {{Petri net Splitting Operation within Embedded Systems Co-design}}, booktitle = {5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).}, year = {2007}, note = {n/a}, month = {Jul.}, abstract = {n/a}, author = {Anik{\'o} Costa and Gomes, Lu{\'\i}s} }