Timed weighted marked graphs are a subclass of timed Petri nets that have wide
applications in the control and performance analysis of flexible manufacturing systems. Due …

Timed marked graphs, a special class of Petri nets, are extensively used to model and
analyze cyclic manufacturing systems. Weighted marked graphs are convenient to model …

Timed marked graphs, a special class of Petri nets, are extensively used to model and
analyze cyclic manufacturing systems. Weighted marked graphs are convenient to model …

Petri nets (PNs) are widely used to model flexible manufacturing systems (FMSs). This paper
deals with the performance optimization of FMSs modeled by Petri nets that aim to maximize …

Timed weighted marked graphs are a mathematical formalism suitable to model automated
manufacturing systems in which synchronization and bulk services and arrivals appear …

This thesis addresses the design and implementationof a programming language for real-
time streaming applications, such as video decoding. The model of Kahnprocess networks is …

Timed event graphs are a subclass of Petri nets that are commonly applied for modeling and
controlling manufacturing systems. In this paper, we investigate the problem of improving the …

Considering time interval models, which can describe a large class of models including
timed event graphs and P-time event graphs, a general aim is to control the system such that …

Massively parallel processor array (MPPA) architectures are becoming widely available
computing platforms. Because of formal similarities, they are good candidates for …

Application Architecture Adequacy (AAA) aims at tuning an application to a given hardware
architecture. However it is still a difficult and error prone activity. As like as in …