进程网相关论文
提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于......
进程网是结合Petri网和进程代数定义的一种网结构,用于并发异步系统的建模。进程网的细化是用复杂的结构替换高层的简单结构支持自......
进程网（Process Net）是一种结合进程代数和Petri网理论的Petri网模型。当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸......
非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函......
简要介绍了在Open VMS操作系统上实现进程的建立、控制及进程间进行通讯的几种方法,给出了相应的例子程序,并对各种方法相互之间进......
进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实......
进程网既具有传统Petri网的图形化表示方式，又具有进程代数的语法形式，复杂进程网可由简单进程网通过组合算子组合而成，并支持自顶向......
想定是作战仿真系统的重要组成部分，是复杂作战序列仿真运行的初始态势，是获取可信仿真分析结果的前提。在全覆盖想定概念的基础上，提......
