1. Girault, C.; Valk, R. Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications; Springer-Verlag: Berlin Heidelberg, 2003; ISBN 978-3-540-41217-5.
2. Zhou, M.; Wu, N. System Modeling and Control with Resource-Oriented Petri Nets; 1 edition.; CRC Press: Boca Raton, FL, 2009; ISBN 978-1-4398-0884-9.
3. Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation
4. Koh, I.; DiCesare, F. Transformation Methods for Generalized Petri Nets and Their Applications to Flexible Manufacturing Systems. In Proceedings of the [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing; May 1990; pp. 364–371.
5. van der Aalst, W.M.P. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In Business Process Management: Models, Techniques, and Empirical Studies; van der Aalst, W., Desel, J., Oberweis, A., Eds.; Lecture Notes in Computer Science; Springer: Berlin, Heidelberg, 2000; pp. 161–183 ISBN 978-3-540-45594-3.