System Modeling and Control with Resource-Oriented Petri Nets door Naiqi Wu & Zhou Mengchu Zhou