In: J. Esparza, C. Lakos (Eds.): Lecture Notes in Computer Science, Vol. 2360: 23rd International Conference on Applications and Theory of Petri Nets, Adelaide, Australia, June 24-30, 2002, pages 1-70pp. Springer Verlag, June 2002.
Abstract: As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep submicron process features and design productivity call for new approaches in the area of behavioural models. This lecture focuses on some of recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of a good net-based `backend' in the asynchronous design flow and performance-oriented mapping of nets to circuits.