Modeling with enhanced prioritized Petri nets: EP-nets

  • Authors:

  • Sheng-Uei Guan;Sok-Seng Lim

  • Affiliations:

  • Department of Electrical and Computer Engineering, The National University of Singapore, 10 Kent Ridge Crescent, Singapore, Singapore 119260;Department of Electrical and Computer Engineering, The National University of Singapore, 10 Kent Ridge Crescent, Singapore, Singapore 119260

  • Venue:
  • Computer Communications
  • Year:
  • 2002

Quantified Score

Hi-index 0.25

Visualization

Abstract

Recently, many researchers have their attention focused on interactive temporal models, like the extended finite state machines or the extended Petri net models. One of the recent mechanisms proposed for synchronization is known as the prioritized Petri net, P-Net, which is implemented in the distributed object composition Petri net (DOCPN). The development of DOCPN has achieved media synchronization in distributed multimedia environments. This P-Net mechanism holds a powerful property: if the deadline is due, it forces firing events regardless whether they are ready or not. A side effect might occur, which is known as premature/late arriving tokens (PLATs). This paper addresses the key issue of providing flexible multimedia presentation with user interaction and suggests improved P-Net models, which handles PLATs, accommodates dynamic event mechanisms and can specify user interactions in real time during presentation. To demonstrate the concepts are feasible, a prototype with runtime support has been developed and used to construct several interactive multimedia applications, including skip, freezeand restart, reverse, speed scaling, and multicasting.