Recent years have witnessed the rapid development and deployment of cyber and computer technologies, thus highly influencing the design methodologies of discrete-event and hybrid systems, i.e., systems with discrete and mixed discrete-continuous states/inputs. Their prevalence can be found in almost all areas of human life, such as embedded software, automated manufacturing systems, work-flow management, logic controllers, communication protocols, robotics, transportation and mobility, military, smart buildings, etc. Given the criticality of such applications, such systems ought to be carefully modeled, thoroughly verified, and adequately analyzed.

中文翻译：

---

Petri 网、自动机和离散事件混合系统的最新进展特刊

近年来见证了网络和计算机技术的快速发展和部署，从而极大地影响了离散事件和混合系统的设计方法，即具有离散和混合离散-连续状态/输入的系统。它们几乎可以在人类生活的所有领域中找到，例如嵌入式软件、自动化制造系统、工作流程管理、逻辑控制器、通信协议、机器人、交通和移动、军事、智能建筑等。对于此类应用程序，此类系统应仔细建模、彻底验证和充分分析。