Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. - P. Li; M. von Thun; Tharam S. Dillon (FORTE, 1989)