Petri net based models in the specification and verification of protocols
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 135-170
- https://doi.org/10.1007/3-540-17906-2_24
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- The analysis of distributed systems by means of predicate/transition-netsPublished by Springer Nature ,2005
- Petri nets are good for protocolsPublished by Association for Computing Machinery (ACM) ,1984
- 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
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- A General Transition Model for Protocols and Communication ServicesIEEE Transactions on Communications, 1980
- Notes on type abstractionPublished by Springer Nature ,1979
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- Formal verification of parallel programsCommunications of the ACM, 1976