Vladimir P. Sliva Tadao Murata Sol M. Shatz Protocol Specification Design Using an Object-Based Petri Net Formalism. 97-126 1999 9 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194099000073 db/journals/ijseke/ijseke9.html#SlivaMS99