HTSPN: An Experience in Formal Modeling of Multimedia Applications Coded in MHEG or Java

The chapter discusses an experiment with Hierarchical Time Stream Petri Nets, a timed extension of Petri Nets which was designed with distributed multimedia systems in mind.