1. Haq IU (2009) Innovative configurable and collaborative approach to automation systems engineering for automotive powertrain assembly. Loughborough University
2. Bohez ELJ (2004) A new generic timed Petri net model for design and performance analysis of a dual kanban FMS. Int J Prod Res 42(4):719–40
3. Luggen WW (1991) Flexible manufacturing cells and systems. Prentice-Hall International Editions
4. Garavel H (2015) Nested-unit petri nets: a structural means to increase efficiency and scalability of verification on elementary nets, in application and theory of petri nets and concurrency: 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, proceedings. In: R Devillers, A Valmari (eds) Springer International Publishing: Cham, pp. 179–199
5. Baruwa OT, Piera MA, Guasch A. Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Trans Syst Man Cybern Syst 45(5):831–846