Deadlock-freedom of scientific applications using strict colored FIFO nets | IEEE Conference Publication | IEEE Xplore