System Modeling and Control with Resource-Oriented Petri Nets - MengChu Zhou; Naiqi Wu (Taylor and Francis, 2010)