Place-Transition Nets. Encyclopedia of Parallel Computing 2011: 1563