Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids

Abstract

Timed Event Graphs (TEGs) are a graphical model for decision free and time-invariant Discrete Event Systems (DESs). To express systems with time-variant behaviors, a new form of synchronization, called partial synchronization (PS), has been introduced for TEGs. Unlike exact synchronization, where two transitions t1, t2 can only fire if both transitions are simultaneously enabled, PS of transition t1 by transition t2 means that t1 can fire only when transition t2 fires, but t1 does not influence the firing of t2. Under some assumptions, we can show that the dynamic behavior of a TEG under PS can be decomposed into a time-variant and a time-invariant part. The time-invariant part can be interpreted as a standard TEG. Moreover, it is shown that the tools introduced for standard TEGs can be used to analyze the overall system.