The book explores high-performance discrete event dynamic systems (DEDSs), which are essential for enhancing productivity and competitiveness in modern civilization. It delves into the complexity and scalability of these systems, which include manufacturing, communication, and logistics. The focus is on the critical role of modeling and performance evaluation in their design and operation. Additionally, it highlights a specific methodology using timed Petri nets and associated graphical and mathematical tools, reflecting two decades of research in this field.
Jiacun Wang Boeken



Formal Methods in Computer Science
- 294bladzijden
- 11 uur lezen
Focusing on formal methods, this textbook provides a thorough introduction to their application in specifying and verifying both software and hardware. It equips students with essential concepts and techniques, making it a valuable resource for understanding the rigor and precision required in the development of reliable systems.