Modeling Manufacturing Systems: an Introduction