Concurrent Object-Oriented Programming and Petri Nets