//-->
Soundness preservation in composed logical time workflow nets
Liu, Wei, (2012)
A vector matching method for analysing logic Petri nets
Du, Yu Yue, (2011)
Reachability analysis of logic Petri nets using incidence matrix
Du, Yu Yue, (2014)