70381953

a

70381953 Forman, Ira R. Petri - A UNIX tool for the analysis of Petri-nets FJCC, 1092-1098 (1986). 1986 EN