Related Experiment Videos
Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
Abstract:
Fuzzy information often appears in the system requirements. Fuzzy Petri nets (FPN) are Petri nets in which certain fuzzy truth values are assigned to its transitions. We show how the FPN model can be used for formal specification and verification of digital systems. The consistent FPN model is actually a state machine, from which we can obtain a consistent marked Petri net (MPN) model. Based on the consistent MPN model, the hardware prototype at register transfer level can be easily induced by using the optimization rules. Finally, main results are presented in the form of three theorems and are supported by some experiments.
Related Concept Videos
Classification of Systems-II
Signal Flow Graphs
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
Mesh Analysis for AC Circuits
The process of harmonizing these impedances begins with a clear understanding of the input and output signals. Once these signals are known, the...
Elements of Block Diagrams
A block diagram typically includes essential elements such as comparators, blocks, and feedback loops. Each of these elements...
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
First Order Systems
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...