Formal Modeling of Parallel System Based on TCPN | IEEE Conference Publication | IEEE Xplore