Shen, V.R.L.V.R.L.ShenFEI-PEI LAI2020-04-162020-04-161998https://scholars.lib.ntu.edu.tw/handle/123456789/484465Requirements specification and analysis of digital systems using fuzzy and marked Petri netsjournal article10.1109/3477.7185252-s2.0-0032188696https://www.scopus.com/inward/record.uri?eid=2-s2.0-0032188696&doi=10.1109%2f3477.718525&partnerID=40&md5=1f526654d2241fa42a503ef80a864447