P Wang, W Fang, B Guo, H Bao - … Factors and Systems Interaction, July 17 …, 2018 - Springer
Performance and workload prediction under multitasking are one of the most important
aspects to consider during system design. This paper utilized a formal tool–namely petri …