For quantitative solution,we study GSPN and find that the reachability graph of a GSPN is isomorphic to a Continuous Time Markov Process (CTMP) when the vanishing markings are eliminated,so Markov Process method can be used.
在安全性定量分析方面，我们研究发现去除消失标识后，GSPN的可达图与一个连续时间Markov过程(CTMP)是同构的，为此，可利用Markov过程方法进行分析。
参考来源 - 基于Petri网的系统安全性建模与分析技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
The main method in this class is the process method (Figure 3) that opens the original BAR file and loops through its content.
类中的主要方法就是打开原始的 BAR 文件并循环执行该文件内容的处理方法（图 3）。
The discipline of Enterprise Architecture ties together business, strategy, process, method, and components from a number of different perspectives.
企业架构的原则将不同视角的业务，战略，过程，方法以及组件联系到一起。
应用推荐