Title :
Designing and analysis of a new book-lending system based on logic Petri nets
Author :
Jiang, Xia ; Luan, WenJing
Author_Institution :
Dept. of Comput., Laiwu Vocational & Tech. Coll., Laiwu, China
Abstract :
A new book-lending system is designed and analyzed based on logic Petri nets in this paper. The batch processing function and indeterminacy of readers are included in the system. Its logic Petri net model is established and some important properties of the system are verified based on the model.
Keywords :
Petri nets; batch processing (computers); digital libraries; batch processing function; book-lending system; logic Petri nets; reader indeterminacy; Analytical models; Batch production systems; Firing; Libraries; Petri nets; Routing; Waste materials; batch processing; book-lending system; designing; logic Petri net; verification;
Conference_Titel :
Electric Information and Control Engineering (ICEICE), 2011 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-8036-4
DOI :
10.1109/ICEICE.2011.5777457
