System modeling and control with resource-oriented Petri nets by MengChu Zhou | Lex | Lex