Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule | IEEE Journals & Magazine | IEEE Xplore