Timed Petri-Nets for Modelling and Alalyzing Protocols with Real-Time Characteristics

Bernd Walter. Timed Petri-Nets for Modelling and Alalyzing Protocols with Real-Time Characteristics. In IFIP Congress. pages 149-159, 1983.

Abstract

Abstract is missing.