On Parallelism in Concurrent Systems Modeled By Petri Nets. - Ricardo Correa De Oliveira Martins (1982)