Journal ArticleDOI
Modeling logical and temporal synchronization in hypermedia systems
Reads0
Chats0
TLDR
A unified formal model for the complete and accurate specification of both temporal and logical synchronization within hypermedia distributed and weakly synchronous systems is introduced.Abstract:
The paper introduces a unified formal model for the complete and accurate specification of both temporal and logical (i.e., link) synchronization within hypermedia distributed and weakly synchronous systems. This new model extends time Petri nets with hierarchical design capabilities and new firing rules. These new firing rules enlighten the notion of hypermedia synchronization through powerful combinations of temporal and logical synchronization. Moreover, the proposed model offers an easy and concise modeling technique of asynchronous events in hypermedia systems.read more
Citations
More filters
Journal ArticleDOI
A brief survey and synthesis of the roles of time in petri nets
TL;DR: The nature of the semantics of different approaches to incorporating time in Petri nets is illustrated by examples and the critical roles of conflict, confusion and concurrence in the formulation of execution policies are considered.
Journal ArticleDOI
An Algebraic Framework for Urgency
Sébastien Bornot,Joseph Sifakis +1 more
TL;DR: In this article, a sub-class of timed automata with deadlines, known as timed-autata-with-firm deadlines, is defined and parallel composition and other operators are defined according to 'orthogonality' principal for timed process algebras and hybrid automata.
Proceedings ArticleDOI
Proving temporal consistency in a new multimedia synchronization model
TL;DR: A new synchronization model for the formal specification of multimedia documents by hierarchically composing a set of presentation and constraint objects which are then automatically translated into a complete RT-LOTOS formal specification.
Journal ArticleDOI
Reduction methods for real-time systems using Delay Time Petri Nets
TL;DR: A new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs), inspired by Merlin's Time PNs, and Senac's Hierarchical Time Stream PNs is presented.
Book ChapterDOI
On the Composition of Hybrid Systems
Sébastien Bornot,Joseph Sifakis +1 more
TL;DR: Concurrent Systems can be usually specified as Systems of communicating processes obtained by composing sequential processes by means of binary parallel composition Operators.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal Article
Maintaining knowledge about temporal intervals
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Journal Article
Hypertext: an introduction and survey
TL;DR: A survey of existing hypertext systems, their applications, and their design can be found in this article, where the authors present a survey of some of the most important design issues that go into fashioning a hypertext environment.
Journal ArticleDOI
Hypertext: An Introduction and Survey
TL;DR: A survey of existing hypertext systems, their applications, and their design is both an introduction to the world of hypertext and a survey of some of the most important design issues that go into fashioning a hypertext environment.
Related Papers (5)
Modeling and verification of time dependent systems using time Petri nets
Bernard Berthomieu,Michel Diaz +1 more