System modeling and control with resource-oriented Petri nets. (©2010)