Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems

The paper proposes a new class of timed Petri nets for the specification of temporal constraints and description of logical behav- iour in distributed hypermedia systems. In particular, hierarchical design capabilities are added to the Time Stream Petri Net model developed for the specification of multimedia scenarios. The new model is named HTSPN, and its enhanced firing rules give a precise semantic to those synchronization mechanisms usually encountered in hypermedia sys- tems. Both temporal and logical synchronization are considered and can be combined into powerful synchronization schemes. User interactions and other asynchronous events are straightforwardly modeled in HTSPN.

[1]  Dick C. A. Bulterman,et al.  The Amsterdam hypermedia model: adding time and context to the Dexter model , 1994, CACM.

[2]  Michel Diaz,et al.  Hypermedia Synchronization Modeling: A Case Study 1 , 1995 .

[3]  Patrick Sénac,et al.  Time Stream Petri Nets: A Model for Timed Multimedia Information , 1994, Application and Theory of Petri Nets.

[4]  Randall H. Trigg,et al.  Design Issues for a Dexter-based Hypermedia System , 1993 .

[5]  Gordon S. Blair,et al.  Distributed multimedia applications: A review , 1994, Comput. Commun..

[6]  Arif Ghafoor,et al.  Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..

[7]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[8]  Wlodzimierz M. Zuberek.  Performance evaluation of concurrent systems using timed petri nets , 1985, CSC '85.

[9]  David Harel,et al.  On visual formalisms , 1988, CACM.

[10]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[11]  GrønbækKaj,et al.  Design issues for a Dexter-based hypermedia system , 1994 .

[12]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[13]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[14]  C. L. Hamblin.  Instants and intervals. , 1971, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.

[15]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[16]  Ernest A. Edmonds,et al.  Support for collaborative design: agents and emergence , 1994, CACM.

[17]  Steven R. Newcomb,et al.  The “HyTime ”: hypermedia/time-based document structuring language , 1991, CACM.

[18]  P. David Stotts,et al.  Temporal hyperprogramming , 1990, J. Vis. Lang. Comput..