In: IEEE Trans. on Systems, Man, and Cybernetics, part B, Vol. 28, No. 5, pages 748-754. 1998.
Abstract: Fuzzy information often appears in the system requirements. Fuzzy Petri nets FN) are Petri nets in which certain fuzzy truth-values are assigned to its transitions. In this paper, 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.
Keywords: Petri nets, formal analysis, knowledge base, requirements specifications.