DocumentCode
3277144
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
fYear
2011
fDate
15-17 April 2011
Firstpage
5835
Lastpage
5838
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electric Information and Control Engineering (ICEICE), 2011 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-8036-4
Type
conf
DOI
10.1109/ICEICE.2011.5777457
Filename
5777457
Link To Document