Concurrent Object-Oriented Programming and Petri Nets | lit.salon