Article "Requirements Specification and Analysis of Digital Systems Using Fuzzy and Marked Petri Nets." Detailed information of the J-GLOBAL is an information service managed by the …