Petri net modeling and performance analysis of Z39.50 search and retrieval protocol

Roopali Paranjpe, Meng Chu Zhou, Jiacun Wang

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations

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 languageEnglish (US)
Pages (from-to)257-262
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume1
StatePublished - Dec 1 1997
Externally publishedYes
EventProceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics. Part 1 (of 5) - Orlando, FL, USA
Duration: Oct 12 1997Oct 15 1997

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Petri net modeling and performance analysis of Z39.50 search and retrieval protocol'. Together they form a unique fingerprint.

Cite this