Inspec keywords: transient analysis; Petri nets; asynchronous circuits; flip-flops; data communication

Other keywords: latch circuit; concurrent process; data communication; metastable transient; discrete Petri net model; asynchronous process

Subjects: Combinatorial mathematics; Combinatorial mathematics; Logic and switching circuits; Logic circuits