@dblp

Transforming sources to petri nets: a way to analyze execution of parallel programs.

, and . SimuTools, page 13. ICST/ACM, (2008)

Links and resources

Tags