Integrated discrete production control, analysis and synthesis a view based on GRAI-Nets - Pun, Lucas (Elsevier, 1992)