Text this: Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems