An Approach to Object System Modeling by State-Based Object Petri Nets