软件工程中的Petri网扩充：禁止线及其重要性

软件工程是一门涉及计算机软件的系统化、规范化方法，旨在解决早期软件开发过程中遇到的严重问题，即所谓的"软件危机"。危机的主要表现为开发成本和进度估计不准确、用户满意度低、产品质量不稳定、维护困难、文档缺乏以及软件成本占比逐年上升等。这些问题源于软件本身的复杂性以及开发方法上的不足，如忽视需求分析、过度依赖编程和轻视维护。 软件工程的兴起始于1968年的NATO会议，其定义强调了通过运用工程原理经济高效地获取可靠且能在实际机器上有效运行的软件。这个领域关注大型程序的设计和构建，核心任务在于控制和管理软件的复杂性，因为软件经常需要随着需求变化进行更新。软件工程不仅关注开发阶段，还包括软件的生命周期管理，包括设计、编码、测试、维护和运行。 1993年，IEEE进一步明确了软件工程的定义，它涵盖了将系统化、规范化的途径应用于软件开发、运行和维护的全过程，并着重于研究这些方法论。软件工程强调开发效率，认识到团队协作的重要性，以及采用成熟的工具和技术来支持整个流程。在这个过程中，软件工程学和程序设计方法学作为两个互相补充的学科发展起来，前者偏重工程方法和技术管理，后者则侧重于数学方法和程序设计理论。 软件工程是通过科学的方法和工具来解决软件开发中的问题，提升软件质量和生产率，确保软件的可靠性和适应性。它在软件生命周期的各个环节都发挥着关键作用，对于现代信息技术产业的发展至关重要。