DocumentCode
3190562
Title
A state class method based on interval arithmetic
Author
Liu, Xian-Ming ; Zhang, Yuan-Lai ; Pan, Li ; Tao, Zhen-Wen
Author_Institution
Inf. & Commun. Center, Jiangxi Electr. Power Co., Nanchang, China
fYear
2011
fDate
8-10 Aug. 2011
Firstpage
6944
Lastpage
6947
Abstract
This paper presents a state class method based on interval arithmetic for constructing the timed state class graph of a bounded time Petri net. In an interval state class, the firing domain is defined as a set of intervals on transition pairs. The time delays of state classes can be efficiently computed based on simple interval arithmetical operations during the evolution of state classes. An application of the state class method to a typical manufacturing system is illustrated.
Keywords
Petri nets; delays; manufacturing systems; bounded time Petri net; interval arithmetic; manufacturing system; state class method; time delays; timed state class graph; Analytical models; Firing; Manufacturing systems; Petri nets; Power systems; Semantics; Silicon; Time Petri nets; interval arithmetic; state class;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), 2011 2nd International Conference on
Conference_Location
Deng Leng
Print_ISBN
978-1-4577-0535-9
Type
conf
DOI
10.1109/AIMSEC.2011.6011473
Filename
6011473
Link To Document