Petri Nets Theory for the Correctness of Protocols
- 1 December 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 30 (12) , 2497-2505
- https://doi.org/10.1109/tcom.1982.1095452
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Modeling and analysis of communication and cooperation protocols using petri net based modelsComputer Networks (1976), 1982
- Petri Nets Theory for the Correctness of ProtocolsIEEE Transactions on Communications, 1982
- A data transfer protocolComputer Networks (1976), 1976
- Formal verification of parallel programsCommunications of the ACM, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Evaluation nets for computer system performance analysisPublished by Association for Computing Machinery (ACM) ,1972