Referenced Items are not available for this document.
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
Published in:
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
(Volume:28
,
Issue:
5
)
Date of Publication: Oct 1998
- Page(s):
- 748 - 754
- ISSN :
- 1083-4419
- INSPEC Accession Number:
- 6036253
- Digital Object Identifier :
- 10.1109/3477.718525
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Oct 1998
- Sponsored by :
- IEEE Systems, Man, and Cybernetics Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
