I've written some MESI state diagrams, one with an overview and four detailed ones with message-passing as their fundamental steps. I can provide the .dot files for graphviz and thus also .ps files if needed. Please contact me for more info. Greets, Antonio.