Optimal control for timed event graphs under partial synchronization

Timed event graphs (TEGs) are a subclass of timed Petri nets suitable to model decision-free timed discrete event systems. In classical TEGs, exact synchronization of two transitions T₁ and T₂ is available by requiring that transitions T₁ and T₂ fire simultaneously. In this paper, a new sort of synchronization, namely partial synchronization, is introduced: transition T₂ has to fire when transition T₁ fires, but transition T₁ is not influenced by transition T₂. Under some assumptions, optimal control, already available for classical TEGs, is extended to TEGs under partial synchronization.