Revised version with corrections June 2001This version is made available for research, teaching and personal use only. Copies may be made for noncommercial use only. Enquiries for other uses tothe Editor (mathai@pune.tcs.co.in).
With the advent of the Internet and theWorldWide Web, the problems that were recognized a quarter century ago as having “no silver bullet” for the so- lution1 have been magnified. The challenges of de- signing and testing distributed computing system
ESL DESIGN AND VERIFICATION: A PREscr iptION FOR ELECTRONIC SYSTEM-LEVEL METHODOLOGY 1 What Is ESL? 1 2 Taxonomy and Definitions for the Electronic System Level 11 3 Evolution of ESL Development 35 4 What Are the Enablers of ESL? 81 5 ESL Flow 113 6
Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illus