(1992) VLSI implementation of petri net models of a class of digital systems. Masters thesis, King Fahd University of Petroleum and Minerals.
|
PDF
10062.pdf 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: | http://eprints.kfupm.edu.sa/id/eprint/10062 |