Periodic Schedules for Bounded Timed Weighted Event Graphs

被引:21
作者
Benabid-Najjar, Abir [1 ]
Hanen, Claire [2 ]
Marchetti, Olivier [1 ]
Munier-Kordon, Alix [1 ]
机构
[1] Univ Paris 06, LIP6, F-75252 Paris, France
[2] Univ Paris 10, LIP6, F-92001 Nanterre, France
关键词
Periodic schedule; timed weighted event graphs (TWEGs); SYNCHRONOUS DATA-FLOW; PERFORMANCE EVALUATION; PARALLEL COMPUTATIONS; ALGORITHMS; SYSTEMS;
D O I
10.1109/TAC.2012.2191871
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Timed event graphs (TEGs) and timed weighted event graphs (TWEGs), which have multiple arc cardinalities, have been widely used for automated production systems such as robotic work cells or embedded systems. TWEGs are useful for modeling batch flows of entities such as batch arrivals or processing of jobs. Periodic schedules, that combine an explicit description of starting times and an easy implementation, are particularly interesting, and have been proved to be optimal for ordinary timed event graphs (TEGs). In this paper, we present polynomial algorithms to check the existence of periodic schedules of bounded TWEGs and to compute their optimal throughput. These results can be considered as generalizations of those for ordinary timed event graphs. We then establish that periodic schedules are suboptimal for TWEGs and may not exist even for a live TWEG. The gap between optimal throughput and throughput of an optimal periodic schedule is experimentally investigated for a subclass of TWEGs, namely timed weighted circuits.
引用
收藏
页码:1222 / 1232
页数:11
相关论文
共 29 条
[11]   RATE-OPTIMAL SCHEDULE FOR MULTIRATE DSP COMPUTATIONS [J].
GOVINDARAJAN, R ;
GAO, GR .
JOURNAL OF VLSI SIGNAL PROCESSING, 1995, 9 (03) :211-232
[12]  
Hanen C., 1994, SCHEDULING THEORY IT
[13]   Transience bounds for long walks [J].
Hartmann, M ;
Arguelles, C .
MATHEMATICS OF OPERATIONS RESEARCH, 1999, 24 (02) :414-439
[14]   PROPERTIES OF A MODEL FOR PARALLEL COMPUTATIONS - DETERMINACY TERMINATION QUEUEING [J].
KARP, RM ;
MILLER, RE .
SIAM JOURNAL ON APPLIED MATHEMATICS, 1966, 14 (06) :1390-&
[15]   SYNCHRONOUS DATA FLOW [J].
LEE, EA ;
MESSERSCHMITT, DG .
PROCEEDINGS OF THE IEEE, 1987, 75 (09) :1235-1245
[16]   A parametric critical path problem and an application for cyclic scheduling [J].
Levner, E ;
Kats, V .
DISCRETE APPLIED MATHEMATICS, 1998, 87 (1-3) :149-158
[17]   A sufficient condition for the liveness of weighted event graphs [J].
Marchetti, Olivier ;
Munier-KOFdon, Alix .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2009, 197 (02) :532-540
[18]  
MUNIER A, 1993, RAIRO AUTOMATIQUE PR, V27, P487
[19]  
Peterson J.L., 1981, Petri Net Theory and the Modeling of Systems
[20]   PERFORMANCE EVALUATION OF ASYNCHRONOUS CONCURRENT SYSTEMS USING PETRI NETS [J].
RAMAMOORTHY, CV ;
HO, GS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) :440-449