A Communicating System Net Model for Specification and Verification of Distributed Nets.

Björn Pehrson Michael Yoeli A Communicating System Net Model for Specification and Verification of Distributed Nets. 383-394 1984 conf/pstv/1984 PSTV db/conf/pstv/pstv1984.html#PehrsonY84