Hierarchical Time Stream Petri Net: A model for hypermedia systems

Sénac, Patrick; Saqui-Sannes, Pierre de; Willrich, Roberto

doi:10.1007/3-540-60029-9_54

Cited by 27 publications

(21 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the OCPN approach does not inherently support modelling of interaction. -Hierarchical Time Stream Petri Net (HTSPN) Model (Senac et al, 1995). However, in the HTSPN approach, it is unspecified what would happen to tokens representing streams left behind the synchronization.…”

Section: Related Workmentioning

confidence: 99%

“…Our Petri net may be considered as a variant of the temporal Petri net developed in several works (Little & Ghafoor, 1990), (Adjeroh & Lee, 1995), (Senac et al, 1995) with these interesting features: First, the Petri net is generated automatically on the basis of the user's temporal specifications that help him to define temporal relations naturally and simply without any considerations of the Petri net details. Secondly, the Petri net models relations that consider both existing temporal arrangement and causal temporal relations between multimedia objects.…”

Section: Differences With Other Approachesmentioning

confidence: 99%

“…We think that few approaches implement these features together. We can find some features of our Petri net in a powerful Hierarchical Time Stream Petri Net model HTSPN of (Senac et al, 1995).…”

Section: Differences With Other Approachesmentioning

confidence: 99%

See 2 more Smart Citations

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach

Ghomari¹,

Djeraba²

2010

Advances in Petri Net Theory and Applications

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Section: Differences With Other Approachesmentioning

confidence: 99%

See 1 more Smart Citation

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach

Ghomari¹,

Djeraba²

2010

Advances in Petri Net Theory and Applications

View full text Add to dashboard Cite

“…However it presents many limitations such as the difficulty both to modularize the application and to establish relations among elements with variable or unknown duration like user interaction for example (Soares, 1997). Models based on restrictions like HTSPN (Hierarchical Time Stream Petri Nets) (Senac, 1995) and object-oriented models do not present these problems. On the other hand, these models have not been widely used in commercial tools because of the difficulty in understanding the specifications resulting from them.…”

Section: Proposed Authoring Modelmentioning

confidence: 99%

Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment

Gaspary

Almeida

1998

Performance of Information and Communication Systems

View full text Add to dashboard Cite

This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new high-level authoring model, it is possible to create complex systems in a fast and intuitive way. The authoring model proposed in this work and adopted by the tool deals with media objects distributed in a computer network, allowing the definition of acceptable delay thresholds and alternative media objects. Due to the large expressiveness of the model, however, specifications with logical and temporal inconsistencies may be generated. For this reason, the tool also provides E-LOTOS specifications used with the purpose of analyzing and verifying the applications aiming at validating the temporal requirements defined by the author.

show abstract

“…Scores in i-score are executed by the ECO machine [9] which is responsible of (1) triggering the static control points; (2) controlling the triggering of the dynamic control points; and (3) maintaining the temporal organization of the score. This machine relies on a Hierarchical Time Stream Petri Net (HTSPN) [12] to represent and execute the partially ordered set of events. Therefore, each time a score is written or modified, it must be translated into a HTSPN to be executed.…”

Section: Introductionmentioning

confidence: 99%

Foundations for Reliable and Flexible Interactive Multimedia Scores

Arias

Desainte‐Catherine

Olarte

et al. 2015

Mathematics and Computation in Music

View full text Add to dashboard Cite

Abstract. Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scores with several applications in video games, live performance installations, and virtual museums. The composer defines the temporal organization of the score by asserting temporal relations (TRs) between temporal objects (TOs). At execution time, the performer may modify the start/stop times of the TOs by triggering interaction points and the system guarantees that all the TRs are satisfied. Implementations of IS and formal models of their behavior have already been proposed, but these do not provide usable means to reason about their properties. In this paper we introduce ReactiveIS, a programming language that fully captures the temporal structure of IS during both composition and execution. For that, we propose a semantics based on tree-like structures representing the execution state of the score at each point in time. The semantics captures the hierarchical aspects of IS and provides an intuitive representation of their execution. We also endow ReactiveIS with a logical semantics based on linear logic, thus widening the reasoning techniques available for IS. We show that ReactiveIS is general enough to capture the full behavior of IS and it also provides declarative ways to increase the expressivity of IS with, for instance, conditional statements and loops.

show abstract

Hierarchical Time Stream Petri Net: A model for hypermedia systems

Cited by 27 publications

References 14 publications

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach

Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment

Foundations for Reliable and Flexible Interactive Multimedia Scores

Contact Info

Product

Resources

About