Victor R. L. Shen Feipei Lai Requirements specification and analysis of digital systems using fuzzy and marked Petri nets. 748-754 1998 28 IEEE Transactions on Systems, Man, and Cybernetics, Part B 5 db/journals/tsmc/tsmcb28.html#ShenL98 http://dx.doi.org/10.1109/3477.718525