Brain-Computer Interface Interaction Design Based on Fuzzy Petri Nets | IEEE Conference Publication | IEEE Xplore