“…Used techniques are, among others, dynamic extended finite-state machine (DEFSM) models [Huang and Wang 1998], the Z notation [Shih et al 1999], Timed Petri Nets and the logic of temporal intervals [Little and Ghafoor 1990], Dynamic Petri Nets (DPN) [Tan and Guan 2005], and collections of Petri nets [Shih 1998]. Synchronization models and languages are, for example, proposed by Meira and Moura [1994], Schnepf et al [1996], Bailey et al [1998], Aygün and Zhang [2002], Presti et al [2002], Buchanan and Zellweger [2005], and Hakkoymaz [2009]. A detailed overview of this problem and a comparison of possible solutions are described by Blakowski and Steinmetz [1996].…”