© 2014 by Taylor & Francis Group, LLC. The manufacturing industry has undergone significant changes in the post-industrial environment to face increasing competitive pressures characterized by high-quality products, on-time delivery and enhanced customer service, among others.
|Title of host publication||Formal Methods in Manufacturing|
|Number of pages||27|
|Publication status||Published - 1 Jan 2014|
Mušič, G., Napalkova, L., & Piera, M. À. (2014). Performance evaluation of flexible manufacturing systems by coloured timed petri nets and timed state space generation. In Formal Methods in Manufacturing (pp. 381-408)