Khan, Asjad Mumtaz Tahir (1992) VLSI implementation of petri net models of a class of digital systems. Masters thesis, King Fahd University of Petroleum and Minerals.
Petri nets are a graphical modelling tool. They are well suited for modelling concurrent, asynchronous and non-deterministic systems. Communication protocol controllers are an example of concurrent/distributed systems. Petri nets have been used in their modelling and analysis. Currently controllers are implemented in software, and to accomplish this Petri net compilers exist. However, increasing link speeds make hardware implementation desirable. In this work, automated hardware implementation of concurrent systems from their Petri net models is investigated. As a case study, protocol controllers are considered and a procedure for their automated implementation is presented. The general problem of implementing concurrent systems is also considered and a systematic procedure of exponential complexity for automated implementation is proposed. It is shown that protocol controllers constitute a special case of the general problem and that their implementation can be done in polynomial time.
|Item Type:||Thesis (Masters)|
|Divisions:||College Of Engineering Sciences > Electrical Engineering Dept|
|Creators:||Khan, Asjad Mumtaz Tahir|
|Committee Advisor:||Beckhoff, Gerhard F.|
|Committee Members:||Sait, Sadiq M. and Biyari, Khaled H. and Bettayeb, Mammar|
|Deposited By:||KFUPM ePrints Admin|
|Deposited On:||22 Jun 2008 16:55|
|Last Modified:||25 Apr 2011 10:00|
Repository Staff Only: item control page