Suzuki, T. Shatz, Sol M. Murata, Tadao <br/><br/>
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets 

 - 523-536 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Petri Nets<br/>Protocols<br/>Specification