Text this: Concurrent object-oriented programming and Petri nets :