Event-B Formalization of Basic Supply Chain Patterns.
Chalika SaksupawattanakulWiwat VatanawoodPublished in: SNPD (2018)
Keyphrases
- supply chain
- supply chain management
- bullwhip effect
- inventory management
- operating costs
- lead time
- supplier selection
- inventory control
- decision making
- service level
- quantity discount
- uncertain demand
- cost savings
- planning horizon
- rfid technology
- capacity planning
- market demand
- data mining techniques
- stackelberg game
- data mining
- profit sharing
- economic order quantity
- revenue sharing
- radio frequency identification rfid
- customer demand