System Modeling and Control with Resource-Oriented Petri Nets Zhou MengChu Innbundet / 2009 / Engelsk