Modeling and Analyzing Security Patterns Using High Level Petri Nets. - He, Xudong; Fu, Yujian (2016)