Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids

摘要

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, t2can only fire if both transitions are simultaneously enabled, PS of transition t1by transition t2means that t1can fire only when transition t2fires, but t1does 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.