This plugin implements a high-level model which combines the static and dynamic elements of self-timed pipelines and supports counterflow and spread token execution semantics. 1)
1)
D.Sokolov, I.Poliakov, A.Yakovlev: “Analysis of static data flow structures”, Fundamenta Informaticae, vol. 88(4), pp.581–610, 2008.