Zhiwu Li
0000-0003-1547-5503
Publications
913 total
No publications found.
Research Topics
Petri Nets in System Modeling
Formal Methods in Verification
Flexible and Reconfigurable Manufacturing Systems
Business Process Modeling and Analysis
Real-Time Systems Scheduling
Affiliations
Macau University of Science and Technology
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.