KFUPM ePrints

VLSI implementation of petri net models of a class of digital systems

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.

[img]
Preview
PDF
5Mb

Arabic Abstract

-

English Abstract

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)
Date:January 1992
Date Type:Completion
Subjects:Electrical
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
ID Code:10062
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