TY  - SER
AU  - Lu, Harngdar
AU  - Suzuki, Ichiro
TI  - Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter
KW  - Arbiter
KW  - Concurrent Systems
KW  - Petri Net
ER  -