Petri网的动态不变性被引量：26

原文传递

导出

摘要定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.

作者蒋昌俊

机构地区中国科学院计算技术研究所国家智能机中心

出处《中国科学（E辑）》 CSCD 1997年第6期567-573,共7页 Science in China(Series E)

基金国家自然科学(重点)基金中国博士后科学基金山东省自然科学基金联合资助项目

关键词 PETRI网行为状态一致性动态不变性

参考文献4

1刘勇,吴哲辉.某类有界时序Petri网的原型网形式的转化[J].系统仿真学报,2005,17(z1):1-4.
2曾庆田,范昊,吴哲辉.Petri网进程的描述方法研究综述[J].系统仿真学报,2005,17(z1):7-11.
3张继军,吴哲辉.广义有界上下文无关语言与Petri网语言[J].系统仿真学报,2005,17(z1):26-29. 被引量：6
4王培良,赵义军.最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J].系统仿真学报,2005,17(z1):48-51.
5蒲飞,陆维明.Petri网系统合成操作的活性保持性研究[J].系统仿真学报,2003,15(z1):17-25. 被引量：1
6茹雨,吴维敏.基于有限容量库所方法的死锁防止算法[J].系统仿真学报,2003,15(z1):59-62. 被引量：3
7赵珂.面向代码的构件技术在PLM系统开发中的应用[J].科技信息,2008(28):74-75.
8陈丽玉,潘孝铭.楼宇门禁系统基于petri网的分析和设计[J].科技信息,2008(24):420-421.
9QingtianZENG ZhehuiWU.Methods for behavior descriptions of structure-complex Petri nets[J].控制理论与应用（英文版）,2004,2(1):93-98.
10曾庆田,倪丽娜,范昊,段华.同步与共享合成操作中子网的求解方法[J].山东科技大学学报（自然科学版）,2004,23(2):61-64. 被引量：1

1李清波,苟鹏飞,孙骏,杨兵,王进祥.一种静态LoC关键性预测器设计[J].计算机工程,2012,38(7):253-256.
2庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6):944-948. 被引量：9
3陆建波,廖伟志.基于分解的连续Petri网性质分析方法[J].计算机应用研究,2014,31(11):3295-3298.
4徐扬.计算机信息管理在有线电视台的运用[J].有线电视技术,2005,12(16):79-82. 被引量：3
5陈中育.大型软件系统开发过程中面临的若干问题[J].浙江师大学报（自然科学版）,1997,20(4):50-53.
6鲁法明,曾庆田,段华,程久军.基于同步核的BPMN模型融合[J].系统工程理论与实践,2016,36(3):795-804. 被引量：1
7Zytronic投影电容技术(PCT)感应控制器为新一代触摸屏奠定基础[J].电子与电脑,2010(6):93-93.
8计算机应用[J].电子科技文摘,2002,0(7):155-156.
9洋洋.澳大利亚着手准备DVB-H试验[J].卫星电视与宽带多媒体,2005(10):25-25.
10王文丽,王银河,章云,王钦若.基于局部模糊系统合成的一类非线性不确定系统自适应控制[J].控制与决策,2012,27(12):1849-1853. 被引量：1

中国科学（E辑）

1997年第6期

内容加载中请稍等...