"This book presents Petri net (PN) models and methods for supervisory control and system scheduling of resource allocation systems (RASs) which are common in practice, such as automated manufacturing systems, project management systems, cloud data centers, and software engineering systems. It begins with a brief definition of the Supervisory Control and Scheduling problems of RAS. Then, different types of Petri net models of RASs and their analysis methods are presented. Next, the book is divided into two parts to provide different speed-up methodologies with numerical experiments for supervisory control and heuristic scheduling, respectively. Conclusions and open problems are provided in the last part of the book"-- Provided by publisher