Providing on-demand video streaming service over the Internet is a challenging task. In this
paper, we propose DirectStream, a directory based peer-to-peer video streaming service …

Abstract Model checking is a powerful and widespread technique for the verification of finite
distributed systems. However, the main hindrance for wider application of this technique is …

When a group of real-time tasks with dependent relations are performed in parallel in a
multiprocessor interruptible environment, time-related requirements are easily destroyed so …

Abstract Timed-Arc Petri Nets (TAPN) are an extension of the classical P/T nets with
continuous time. Tokens in TAPN carry an age and arcs between places and transitions are …

This paper proposes an online approach for fault diagnosis of timed discrete event systems
modeled by Time Petri Net (TPN). The set of transitions is partitioned into two subsets …

This paper investigates the deadlock prevention problem for Petri nets (PN), in which the
control is performed by appropriately setting time constraints on transitions, in terms of firing …

Time dependant models have been intensively studied for many reasons, among others
because of their applications in software verification and due to the development of …

In this paper we show that the satisfaction of timed CTL (TCTL) formulas under the natural
continuous semantics for both discrete-time and dense-time timed Kripke structures can be …

This paper introduces an extension of Timed Petri Nets for the modeling of synchronous
electronic circuits, addressing pipeline design problems. Petri Nets have been widely used …

The control of real-time systems often requires taking into account simultaneous access in
true parallelism to shared resources. This is particularly the case for multi-core execution …