Lu, Harngdar Suzuki, Ichiro <br/><br/>
Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter 

 - 696-704 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Arbiter<br/>Concurrent Systems<br/>Petri Net