Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter. - Ichiro Suzuki; Harngdar Lu (IEEE Trans. Computers, 1989)