A Timed Petri Net Model and Simulation of a Dataflow Computer. - T. Smigelski; Tadao Murata; Masahiro Sowa (PNPM, 1985)