性质保持相关论文
Petri网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并......
模型之间的等价关系和抽象模型的性质保持是保证验证正确的必要条件,参数化系统二维抽象从构成系统状态空间的二维方向分别进行抽......
针对主体内部结构的建模问题,借助网过程的概念,提出了使用保性的Petri网运算方法来描述主体内部结构的方法,大大降低了多主体系统建......