For the most recent entries see the
Petri Nets Newsletter.
Keyword: VLSI
-
Murakoshi, H.;
Dohi, Y.:
Petri Net Based High Speed Programmable Controller.
1991.
-
Murakoshi, Hideki;
Dohi, Yasunori:
Petri Net Based High Speed Programmable Controller by ASIC Memory.
1990.
-
van der Hoeven, A.J.;
de Lange, A.A.J.;
Deprettere, E.F.;
Dewilde, P.M.:
A Model for the High-Level Description and Simulation of VLSI Networks.
1990.
-
Dill, D.L.;
Nowick, S.M.;
Sproull, R.F.:
Specification and Automatic Verification of Self-Timed Queues.
1989.
-
Joerg, W.B.:
Designing Dedicated Parallel Architectures with Petri Nets.
1989.
-
van der Hoeven, A.J.;
de Lange, A.A.J.;
Deprettere, E.F.;
Dewilde, P.M.:
A New Model for the High Level Description and Simulation of VLSI Networks.
1989.
-
Alukaidey, K.A.S.;
Alukaidey, T.:
Systolic Array Model Generation SAMGEN.
1988.
-
Koelmans, A.M.;
McLauchlan, M.R.;
Kinniment, D.J.:
Asynchronous Extensions to the STRICT High Level Design System.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography