Xiaowei Huang Jie Meng A Modular Petri Net Used in Synchronous Communication of Sequential Processes. 194-200 2007 conf/msv/2007 MSV db/conf/msv/msv2007.html#HuangM07