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

(1992) VLSI implementation of petri net models of a class of digital systems. Masters thesis, King Fahd University of Petroleum and Minerals.


Download (5MB) | Preview

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)
Subjects: Electrical
Department: College of Engineering and Physics > Electrical Engineering
Committee Advisor: Beckhoff, Gerhard F.
Committee Members: Sait, Sadiq M. and Biyari, Khaled H. and Bettayeb, Mammar
Depositing User: Mr. Admin Admin
Date Deposited: 22 Jun 2008 13:55
Last Modified: 01 Nov 2019 13:56
URI: https://eprints.kfupm.edu.sa/id/eprint/10062