Pierre Azéma Bernard Berthomieu Paul Decitre The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. 599-604 1980 IFIP Congress db/conf/ifip/ifip80.html#AzemaBD80