Michel Diaz Pierre Azéma Petri net based models for the specification and validation of protocols. 101-121 1984 conf/apn/1984 European Workshop on Applications and Theory in Petri Nets db/conf/apn/apn1984.html#DiazA84 http://dx.doi.org/10.1007/3-540-15204-0_7