====== Signal Transition Graph ======

A Signal Transition Graph is a labelled Petri net whose transitions are associated with signal events\ [(Yakovlev_1996_fmsd)].

{{ overview:screenshot-stg.png?nolink }}

[(Yakovlev_1996_fmsd> 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.)]