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.
Back to the Petri Nets Bibliography