Formalization verification of requirements based on partition of software safety Petri net
LI Zhen, LIU Bin, MIAO Hong, YIN Yongfeng
Journal of Systems Engineering and Electronics . 2012, (9): 1966 -1972 .  DOI: 10.3969/j.issn.1001-506X.2012.09.37