VLSI implementation of controllers for communication protocols fromtheir Petri net models
Petri nets are popular in the communication protocol community for modelling and analysis purposes. This paper gives a procedure for extraction and implementation of controllers of protocols from their Petri net model. It adds another dimension to the use of Petri nets and is suited for network, tra...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | article |
| Published: |
1992
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/14052/1/14052_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14052/2/14052_2.doc |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513393334943744 |
|---|---|
| author | Khan, A.M.T. |
| author2 | Sait, Sadiq M. Beckhoff, G.F. unknown |
| author2_role | author author author |
| author_facet | Khan, A.M.T. Sait, Sadiq M. Beckhoff, G.F. unknown |
| author_role | author |
| dc.creator.none.fl_str_mv | Khan, A.M.T. Sait, Sadiq M. Beckhoff, G.F. unknown |
| dc.date.none.fl_str_mv | 1992-02 2020 |
| dc.format.none.fl_str_mv | application/pdf application/msword |
| dc.identifier.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/14052/1/14052_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14052/2/14052_2.doc (1992) VLSI implementation of controllers for communication protocols fromtheir Petri net models. VLSI, 1992., Proceedings of the Second Great Lakes Symposium on, 1. |
| dc.language.none.fl_str_mv | en en |
| dc.publisher.none.fl_str_mv | IEEE |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/14052/ |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| dc.type.none.fl_str_mv | Article PeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article |
| description | Petri nets are popular in the communication protocol community for modelling and analysis purposes. This paper gives a procedure for extraction and implementation of controllers of protocols from their Petri net model. It adds another dimension to the use of Petri nets and is suited for network, transport and data link protocols |
| eu_rights_str_mv | openAccess |
| format | article |
| id | KFUPM_1699d44dd796f598854e71034cc725b8 |
| identifier_str_mv | (1992) VLSI implementation of controllers for communication protocols fromtheir Petri net models. VLSI, 1992., Proceedings of the Second Great Lakes Symposium on, 1. |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai::14052 |
| publishDate | 1992 |
| publisher.none.fl_str_mv | IEEE |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | VLSI implementation of controllers for communication protocols fromtheir Petri net modelsKhan, A.M.T.Sait, Sadiq M.Beckhoff, G.F.unknownComputerPetri nets are popular in the communication protocol community for modelling and analysis purposes. This paper gives a procedure for extraction and implementation of controllers of protocols from their Petri net model. It adds another dimension to the use of Petri nets and is suited for network, transport and data link protocolsIEEE1992-022020ArticlePeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfapplication/mswordhttps://eprints.kfupm.edu.sa/id/eprint/14052/1/14052_1.pdfhttps://eprints.kfupm.edu.sa/id/eprint/14052/2/14052_2.doc (1992) VLSI implementation of controllers for communication protocols fromtheir Petri net models. VLSI, 1992., Proceedings of the Second Great Lakes Symposium on, 1. enenhttps://eprints.kfupm.edu.sa/id/eprint/14052/info:eu-repo/semantics/openAccessoai::140522019-11-01T14:03:55Z |
| spellingShingle | VLSI implementation of controllers for communication protocols fromtheir Petri net models Khan, A.M.T. Computer |
| status_str | publishedVersion |
| title | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| title_full | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| title_fullStr | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| title_full_unstemmed | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| title_short | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| title_sort | VLSI implementation of controllers for communication protocols fromtheir Petri net models |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/14052/1/14052_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14052/2/14052_2.doc |