A new model for the high level description and simulation of VLSI networks
A.J. van der Hoeven, A. A. de Lange, Ed F. A. Deprettere, Patrick M. Dewilde · 1989
A new applicative model is presented for the description and analysis of both synchronous and asynchronous VLSI networks at the top levels of abstraction.The model is based on two powerful paradigms, the Applicative State Transition concept of Backus [l] for the descriptive aspects and the theory of single token time(d) Petri Nets [2, 3, 41 for the communicative aspects