同济博士论丛——电子商务系统的Petri网建模理论与分析技术研究

                    本文在对大量现有电子系统形式化方法分析的基础上，根据电子系统的具体特点，综合应用Petri网、时序逻辑、工作流等分析技术，提出并研究了用于电子系统时序性质分析的时序（不错）Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法。同时，从理论上研究了这些方法的主要性质，得到一系列重要结果。