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
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;
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
DOI :
10.1109/AIMSEC.2011.6011473
