Return to Article Details
A method of automatic constructing a model of a parallel program in terms of Petri nets
Download
Download PDF