Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
Journal
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Journal Volume
28
Journal Issue
5
Pages
748-754
Date Issued
1998
Author(s)
Shen, V.R.L.
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.
SDGs
Type
journal article