Modelling and analysis of UPnP AV media player system based on Petri nets

Hong Zheng, Yugang Niu and Gianfranco Ciardo

International Journal of Systems Science, 2011, vol. 42, issue 9, 1573-1580

Abstract: 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.

Date: 2011
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://hdl.handle.net/10.1080/00207721.2011.564329 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tsysxx:v:42:y:2011:i:9:p:1573-1580

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/TSYS20

DOI: 10.1080/00207721.2011.564329

Access Statistics for this article

International Journal of Systems Science is currently edited by Visakan Kadirkamanathan

More articles in International Journal of Systems Science from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().