G-Nets: A petri net based approach for logical and timing analysis of complex software systems

Angelo Perkusich, Jorge C. A. de Figueiredo. G-Nets: A petri net based approach for logical and timing analysis of complex software systems. Journal of Systems and Software, 39(1):39-59, 1997. [doi]

Abstract

Abstract is missing.