PETRI-NET MODELS OF LATCH METASTABILITY

Data communication between concurrent processes often employs shared l atch circuitry which may display metastable transients when the proces ses are not synchronised. A method of deriving discrete Petri net mode ls for such latches is proposed. The representation includes both the local onset of metastability and the effects of metastable input signa ls.