Petri net models of latch metastability
IG Clark, Fei Xia, Alex Yakovlev, A.C. Davies · Electronics Letters · 1998
Data communication between concurrent processes often employs shared latch circuitry which may display metastable transients when the processes are not synchronised. A method of deriving discrete Petri net models for such latches is proposed. The representation includes both the local onset of metastability and the effects of metastable input signals.