A Petri net model for the integration of purchasing, production and packaging using Kanban system