Analysing storage resources on Synchronous Dataflows using Petri net verification techniques | IEEE Conference Publication | IEEE Xplore