Date of Award
Master of Science in Electrical Engineering - (M.S.)
Electrical and Computer Engineering
John D. Carpinelli
Z39.50 is an American Standard for information retrieval. The standard depicts a client-server model of computing. With reference to the Open System Interconnection (COSI)) model developed by International Standards Organization (ISO); Z39.50 is an application layer protocol. A Z39.50 client performs searching, querying and requesting functions and a Z39.50 server interfaces with the database in the remote system and responds to client requests by providing a set of records for the search query.
Z39.50 state tables describe a complex set of concurrent and serial events. A Petri net model is prepared for the entire system comprising the protocol. A Petri net methodology proves to be a very effective way of analyzing this client-server model. A Reachability Graph is applied to the Petri Net model to study the behavioral properties of the protocol. We have used a timed Petri net simulator to evaluate the performance of this protocol.
Paranjpe, Roopali, "Petri net modeling and performance analysis of Z39.50 search and retrieval protocol" (1997). Theses. 1027.