Signal Transition Graph

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.