Can I read JIT Kanban System Modeling Techniques on EtoBox?
JIT Kanban System Modeling Techniques by zulfikarjulpi is a document available to read on EtoBox.
What is JIT Kanban System Modeling Techniques about?
The document discusses the specification of a just-in-time kanban system using two object-oriented modeling techniques: LOOPN and Object-Z. It emphasizes the importance of modeling complex production systems to ensure correct and consistent implementations, particularly focusing on the interactions among workcentres that both supply and consume parts. The article also highlights the challenges and advantages of using these specification languages for modeling replicated concurrent systems.
- Author
- zulfikarjulpi
- Language
- EN