简介
本文在对大量现有电子系统形式化方法分析的基础上，根据电子系统的具体特点，综合应用Petri网、时序逻辑、工作流等分析技术，提出并研究了用于电子系统时序性质分析的时序（不错）Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法。同时，从理论上研究了这些方法的主要性质，得到一系列重要结果。
目录
同济博士论丛——电子商务系统的Petri网建模理论与分析技术研究
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
