Compositional Methods for Communication Protocol Design: A Petri Net Approach
Abstract: Petri nets are a modeling technique for concurrent discrete-event systems.
Keywords: book review, software, petri nets, communications protocols, design.
Title: Compositional Methods for Communication Protocol Design: A Petri Net Approach
Author: N. A. Anisimov
Publisher: World Scientific Publishing Company
Date Published: March 1997
ISBN: 9810216742
Click below to buy the book
[Book price/availability varies]