文献类型：期刊文献

英文题名：Modelling and analysis of UPnP AV media player system based on Petri nets

作者：Zheng, Hong[1,2];Niu, Yugang[1];Ciardo, Gianfranco[3]

机构：[1]E China Univ Sci & Technol, Sch Informat Sci & Engn, Shanghai 200237, Peoples R China;[2]Shanghai Key Lab Comp Software Evaluating & Testi, Shanghai 200233, Peoples R China;[3]Univ Calif Riverside, Dept Comp Sci & Engn, Riverside, CA 92507 USA

年份：2011

卷号：42

期号：9

起止页码：1573

外文期刊名：INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE

收录：;EI(收录号：20113014170209);WOS:【SCI-EXPANDED(收录号:WOS:000292760000012)】；

基金：This work was supported in part by the key project of Guangdong and Hong Kong under Grant 2007A090601001; the digital home, the Ministry of Education Key Laboratory Foundation of China (Sun Yat-sen University) and the National Natural Science Foundation of China under Grant 61074041. The authors are grateful to the anonymous referees for their insightful and valuable comments and suggestions.

语种：英文

外文关键词：digital home; UPnP AV; modelling; analysis; Petri nets

摘要：UPnP is a universal plug-and-play technology widely used in the digital home network. The UPnP AV architecture expands the UPnP technology to realise efficient communication and management. Petri nets are powerful formalism to model, analyse and simulate dynamic systems with concurrent and non-deterministic behaviours. We use Petri nets to model an UPnP AV media player system. Specifically, we simulate the media player in the digital home, by using reachability graph analysis to study the exception handling, data transmission, integrity and potential problems of this system.