Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems - Martiník, Ivo (IntechOpen, 2012)
None