17. N=(P, T, OBJ, PORT; F) 1) P is the set of Place, T is the set of Transition. 2) OBJ is the set of object, object can be inherited ,can be nested and can form composite object. M=<P, Method , Event , Port> 3) PORT is the set of port in object, which is divided into input and output port. Semantically Port is equal to Place. 4) F represents flow relationship Extended Colored Petri Nets (ECPN)
18.
19.
20.
21.
22.
23.
24.
Notes de l'éditeur
You migh use emulation as a replacement for a system A simulator may imitate only a few of the operations and functions of the unit it simulates. simulation 是模拟出原系统的一个抽象模型,而不需要真的去做真实系统要做的事情。因此它其实不具备真实系统的功能,只是当某一功能执行时,通常 不必输出功能执行的结果,只是在 simulator 中记录下由此引发的状态变化。因此它通常用于设计初期的模型验证。 emulation 则更进一步,要真正地去做所有真实系统能做的事情,只不过做的“过程”不同,它一般用于处理兼容性问题和在资源有限的条件下完成系统原 型的实现。 如果把真实系统比作一个人的话, simulator 就是这个人的一幅肖像画,而 emulator 则是这个人的一个克隆人 模擬( Simulation ) 即選取一個物理的或抽像的系統的某些行為特徵,用另一系統來表示它們的過程 。模擬技術的高 級階段稱為仿真模擬( Emulation )、系統仿真,即用一數據處理系統來全部或部分地模擬某 一數據處理系統,以致於模仿的系統能想被模仿的系統一樣接受同樣的數據、執行同樣的程序、獲得同樣的結果。 Verification 也就是说要做正确、而 Validation 是看经过 Verification 是否 是我们想要的。 Verificaiton 是我们可以预见的,而 Validation 首先前提是经过 Verification ,重要的是做的是否是 customer 需要 的。可以说 Validation 更多的是感性因素多 validation ensures that the product actually meets the user's needs, and that the specifications were correct in the first place, while verification is ensuring that the product has been built according to the requirements and design specifications. Validation confirms that the product, as provided, will fulfil its intended use.
目前可执行模型的生成主要是 Petri 网方法,如时间 Petri 网( TPN )、着色 Petri ( CPN )网、对象 Petri 网( OPN )等。 Petri 网是描述和分析离散事件动态系统的一种模型工具,它综合了数据流、控制流和状态转移,能很自然地描述并发、同步、资源争用等特性,而且本身自含执行控制机制,集规范表示与执行于同一模型 [4] 。 但 Petri 网存在着的一个主要弱点是规模难以控制。如果系统比较复杂,其 Petri 网模型的规模将变得很大。特别是当系统的可达状态增加时,模型的复杂性将呈指数增长,使 Petri 网模型的分析和理解变得十分困难。 另外, Petri 网中的位置、转移和令牌所携带的系统信息量不够丰富,缺乏语义描述功能,且 Petri 网不涉及时间因素,仅能反映出事件间的因果关系 [5] 。