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 …

In this paper we present a novel approach to throughput analysis of synchronous dataflow
(SDF) graphs. Our approach is based on describing the evolution of actor firing times as a …

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 …

This paper deals with the performance optimization of resource allocation systems with the
aim of maximizing the system's throughput under a given budget for acquiring resources …

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 …

Exact temporal analyses of multi-rate synchronous dataflow (MRSDF) graphs, such as
computing the maximum achievable throughput, or sufficient buffer sizes required to reach a …

We introduce LiPS, a new cost-efficient data and task co-scheduler for MapReduce in a
cloud environment. By using linear programming to simultaneously co-schedule data and …

Various kinds of manufacturing systems can be modeled and analyzed by Timed
EventGraphs (TEGs). These TEGs are a particular class of timed Discrete Event Systems …

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