A Signal Transition Graph is a labelled Petri net whose transitions are associated with signal events. 1)
1)
A.Yakovlev, L.Lavagno, A.Sangiovanni-Vincentelli: “A unified signal transition graph model for asynchronous control circuit synthesis”, Formal Methods in System Design, vol.9(3), pp.139–188, 1996.