Model Decomposition of Timed Event Graphs under Partial Synchronization in Dioids
Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, J. Raisch · IFAC-PapersOnLine · 2018
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 t 1 , t 2 can only fire if both transitions are simultaneously enabled, PS of transition t 1 by transition t 2 means that t 1 can fire only when transition t 2 fires, but t 1 does not influence the firing of t 2 . 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.