抑止弧相关论文
嵌入式系统广泛应用于无人机、智能家居、医疗设备等领域。对可靠性,正确性和实时性的高要求是嵌入式系统的基本特征。伴随着嵌入......
已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的......
通过对文献[1]中模型的分析，给出了一个实用性更强，功能扩展的发送者-接收者问题模型。通过允许外部环境加以控制，允许接收者强制取消......
在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定......
发送者-接收者(S-R)问题可以看作处理共享通道的一个有代表性的问题。通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下......
首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型......
期刊
利用原型Petri网对列车控制系统建模难于实现,用带抑止弧的增广Petri网则可以较好地描述问题。将带抑止弧的增广Petri网作为计算模......
该文定义了一种扩展的时间Petri网——带抑止弧的时间Petri网，这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子，笔......
随着人们日常工作生活和工业生产的信息化，软件开发的质量越来越受到人们的重视。传统软件开发方法在分析和设计过程中所可能带来的......
