Binary logic diagrams imply nonunique functionality

Title

Binary logic diagrams imply nonunique functionality

Publication Type
Journal Article
Year of Publication
1996
Journal
ISA Transactions
Number
4
Volume
35
Pagination
337 – 343
ISSN
0019-0578
Abstract
Binary logic diagrams ({BLDs}) are widely used to document the functionality of logic-based control systems. The ambiguous functionality implied by certain {BLDs} is highlighted by drawing analogies with asynchronous sequential logic systems. Non-deterministic state transitions in these {BLDs} occur due to the existence of hazard and race conditions or, equivalently, non-unique feedback cut sets. The need for additional specifications to remove this ambiguity is discussed, and recommendations are made to aid in the specification of {BLDs} with unique functionality.