**Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems**

Ivo Martiník

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/48470
