Specification of a batch plant using process algebra and Petri nets | IEEE Conference Publication | IEEE Xplore