Belhassen Zouari Serge Haddad Mohamed Taghelit A Protocol Specification Language with a High-Level Petri Net Semantics. 225-241 1993 conf/ifip10-3/1993dds Decentralized and Distributed Systems db/conf/ifip10-3/dds1993.html#ZouariHT93