Luis A. CastilloJuan Fernández-OlivaresAntonio González MuñozA three-level knowledge-based system for the generation of live and safe Petri nets for manufacturing systems.559-572200011J. Intell. Manuf.6https://doi.org/10.1023/A%3A1026504523038db/journals/jim/jim11.html#CastilloFG00