Petri net models of latch metastability

Petri net models of latch metastability

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Electronics Letters — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.


    1. 1)
      • H.R. Simpson . New algorithms for asynchronous communication, and Role model analysisof an asynchronous communication mechanism. IEE Proc. E, Comput. Digit. Tech. , 4 , 227 - 240
    2. 2)
      • L. Lamport . On interprocess communication. Parts I and II. Distributed Computing , 1 , 77 - 101
    3. 3)
      • L.R. Marino . General theory of metastable operation. IEEE Trans. , 2 , 107 - 115
    4. 4)
      • K. Jensen . (1992) Coloured petri nets. Vol. 1, Basic concepts, Monographs in theoretical computer science.

Related content

This is a required field
Please enter a valid email address