About simulation and verificationCyber nets are self-modifying nets. It is applied in concurrent program specification, the math modeling, industrial control and so on.
二、系统的模拟与验证自控网是一种自修正系统，主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。
参考来源 - 基于Petri网的工作流建模与性质研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Analyze Project requirement, write design specification or program specification.
书写设计需求和项目仕样书。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects.
首先是横切规范，它要回答的是关注点影响的是程序的哪些部分。
应用推荐