zoukankan      html  css  js  c++  java
  • CPNtools协议建模-----门卫过滤两种帧存储方式

    1、门卫过滤作用

       两种帧格式定义方式的过滤 ,第一种方式  数据存储定义格什为 colset frame=product  MAC *MAC*DATA      第二种数据帧存储格式定义为 colset frame=record dst:MAC*addr:MAC*d:DATA;  

       第一种使用门卫过滤方式 [#1 f=addr]        对应的第二种过滤方式    [ #dst f=ad ]

      2、对应于变迁的输出代码片段的的过滤 (Code segment)

          每一个变迁都附有ML代码输出片段,代码片段在父变迁执行的时候发生,代码片段会绑定CPN输出弧变量 ,包括三部分,分别是输入方式和输出方式 和代码执行方式。 输出方式是一个CPN变量的元组,变量能够被用在执行操作中。代码执行不能改变原有的变量,输出方式也是一个元组,是代码执行之后输出的结果。输出部分必须是一个变量或者CPN元组,没有重复。当然 代码执行片段中的三者可以不写输出和输入部分,则结果是不执行代码操作。

     3、融合库所的概念

        融合库所是分层的Petri网中使用的一种定义,融合库设置相同的标记,所有的融合库所在顶层模型和子模型上提供相同的名字,并且可以看到库所上的标记值在模型执行的时候都弧同步发生变换。

  • 相关阅读:
    使用nginx在本地查看angular打包项目
    iso与安卓遇到的问题
    Spark 常用的读取数据api
    Spark DataFrame常用API
    spark 词频统计
    spark-shell和spark-sql
    Spark中 RDD、DF、DS的区别与联系
    SparkSQL连接Hive
    spark安装 centos7
    scala安装 centos7
  • 原文地址:https://www.cnblogs.com/xinxianquan/p/12157489.html
Copyright © 2011-2022 走看看