Compositional Petri net models of advanced tasking in Ada-95

Ravi K. Gedela, Sol M. Shatz, Haiping Xu. Compositional Petri net models of advanced tasking in Ada-95. Computer Languages, Systems \& Structures, 25(2):55-87, 1999.

Abstract

Abstract is missing.