Maintaining knowledge about temporal intervals
Communications of the ACM
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Petri net models for describing multimedia synchronization requirements
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Modeling and analysis of networked real-time systems via fuzzy-timing petri nets
Modeling and analysis of networked real-time systems via fuzzy-timing petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A temporal reference framework for multimedia synchronization
IEEE Journal on Selected Areas in Communications
Service quality of multimedia streams and objects
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Time synchronization of multimedia streams and objects
CompSysTech '08 Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Analysis of real-time system conflict based on fuzzy time Petri nets
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
In distributed multimedia synchronization involving asynchronous communication with heterogeneous sources and media, not all media segments have a priori known presentation-time durations. To deal with the temporal uncertainty, this paper presents a new temporal Petri net model for distributed multimedia synchronization that can handle uncertain or fuzzy temporal requirements. This model is called Extended Fuzzy Timing Net (EFTN) model for distributed multimedia synchronization and is an integration of Murata-Zhou's Fuzzy Timing Petri Net, and Merlin's Time Petri Net. EFTNs are powerful and flexible on modeling distributed multimedia synchronization. We present techniques to construct a fine-grained EFTN model supporting fuzzy scenarios, starting from a set of relative temporal relations among multimedia objects specified by the authors of multimedia applications. Also, an important issue in distributed multimedia synchronization is to check whether Quality-of-Service (QoS) requirements are satisfied in the scenario. Based on EFTN modeling, we discuss techniques to analyze possibilities of satisfying QoS requirements. To illustrate our techniques, we give an example of computing the possibilities of satisfying maximum tolerable skew between streams in fine-grained distributed multimedia synchronization.