For the most recent entries see the Petri Nets Newsletter.

Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures.

Briz, J.L.; Colom, J.M.; Vinals, V.

In: Tzafestas, P.; et al: Parallel and Distributed Computing in Engineering Systems, pages 35-40. Elsevier North-Holland, Amsterdam, The Netherlands, 1992.

Abstract: We applicate Place/Transition nets and Colored Petri Nets as a formal method to design a digital system (a RISC-like processor). We point out the simulation capabilities and descriptive power of Petri Nets, and prove structural analysis techniques to be useful to validate the system.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography