Abstract
This paper presents a Petri net approach to modeling and performance analysis of the Z39.50 Search and Retrieval protocol. The Z39.50 state tables present a complex set of events and actions. Based on these state tables, a Petri net model is for the first time constructed for the entire system comprising the protocol. A Reachability Graph analysis method is applied to the Petri net model to study the behavioral properties of the protocol. Assuming deterministic delays, time analysis is performed and completion times are computed for basic successful events and operations. A timed Petri net simulation tool is used to investigate the behavior of complex Z39.50 services and operations.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 257-262 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 1 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics. Part 1 (of 5) - Orlando, FL, USA Duration: Oct 12 1997 → Oct 15 1997 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture