Shen V L, Lai F
Dept. of Electr. Eng., Mingchi Inst. of Technol., Taipei.
IEEE Trans Syst Man Cybern B Cybern. 1998;28(5):748-54. doi: 10.1109/3477.718525.
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.
模糊信息经常出现在系统需求中。模糊Petri网（FPN）是一种给其变迁赋予某些模糊真值的Petri网。我们展示了FPN模型如何用于数字系统的形式化规范和验证。一致的FPN模型实际上是一个状态机，从中我们可以得到一个一致的标记Petri网（MPN）模型。基于一致的MPN模型，利用优化规则可以很容易地导出寄存器传输级的硬件原型。最后，主要结果以三个定理的形式给出，并得到了一些实验的支持。
