扩展时间戳状态类
Extended Clock-Stamped State Classes
摘要
状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期73-77,81,共6页
Journal of System Simulation
参考文献13
-
1[1]Girault, Claude; Valk,Rüdiger. Petri Nets for Systems Engineering -- A Guide to Modeling [M], Verification, and Applications. Springer Verlag, 2003.
-
2[2]Ramchandani, C. Analysis of asynchronous concurrent systems by timed Petri nets [D]. Ph.D. thesis, project MAC technical report 120, MIT, Cambridge, MA, 1974.
-
3[3]Merlin, P. M. and Farber, D. J. Recoverability of communication protocols: Implication of a theoretical study [J]. IEEE Transactions on Communications, 1976, 24(9): 1036-1043.
-
4[4]Balbo, G. Introduction to Stochastic Petri Nets [A]. Formal Methods and Performance Analysis LNCS 2090, 2001, May [C], pp. 84-155.
-
5[5]Berthomieu, B. and Diaz, M. Modeling and verification of time dependent systems using time Petri nets [J]. IEEE Transactions on Software Engineering, 1991, 17(3): 259-273.
-
6[6]Felder, M. Mandrioli, D. and Morzenti, A. Proving properties of real-time systems through logical specifications and Petri net models [J]. IEEE Transactions on Software Engineering, 20(2), 1994: 127-141.
-
7[7]Boucheneb, H. and Berthelot, G. Towards a simplified building of Time Petri Nets reachability graph [A]. In Proc. of the 5th Int. Workshop on Petri Nets and Performance Models, October 1993 [C], pages 46~55.
-
8[8]Penczek, W. And Pó(l)rola, A. Abstractions and partial order reductions for checking branching properties of Time Petri Nets [A]. In Proc. Of ICATPN'01, volume 2075 of LNCS, Springer-Verlag, 2001 [C], pages 323~342.
-
9[9]Yoneda, T. and Ryuba, H. CTL model checking of Time Petri Nets using geometric regions [J]. IEICE Trans. Inf. and Syst., 3:1–10, 1998.
-
10[10]Boyer, M. Diaz, M. Multiple enabledness of transitions in Petri nets with time [A], Rapport LAAS No00520, Decembre 2000, 20p, in Proceeding ot the 9th International Workshop on Petri Nets and Performance Modeling (PNPM'01)[C], pages 219~228.
共引文献13
-
1张继军,吴哲辉.Petri网的分层递归模型[J].系统仿真学报,2003,15(z1):89-92. 被引量:11
-
2乐晓波,葛敬军.自动制造系统设计和仿真中的死锁控制[J].计算机工程,2005,31(4):192-194. 被引量:1
-
3张继军.Petri网控制结构的合成运算[J].计算机工程与应用,2005,41(20):85-88. 被引量:3
-
4刘玥波,索东梅.工作流技术及建模方法研究[J].长春师范学院学报(自然科学版),2005,24(3):78-79. 被引量:2
-
5杨萍,王生原.用于多目标编译系统构造的目标机体系结构描述[J].计算机科学,2005,32(9):239-242. 被引量:1
-
6徐润森.基于工作流网的电子商务系统建模[J].电子工程师,2005,31(10):71-73. 被引量:1
-
7乐晓波,李京京,唐贤瑛.基于Petri net建模的资源调度的蚁群算法[J].计算机技术与发展,2006,16(1):44-46. 被引量:8
-
8吕书春,胡健生,黄勇,桂雄明.基于GSPN的局域网随机访问协议的分析方法[J].山西电子技术,2007(2):71-73.
-
9谭支鹏,胡金柱.基于虚拟网的分布式数据库设计中的若干问题[J].华中师范大学学报(自然科学版),2000,34(1):28-30. 被引量:1
-
10王智,于海斌.一种实现无扰切换的功能块系统及其着色Petri网建模[J].高技术通讯,2001,11(3):66-69. 被引量:2
-
1潘理,李文军.一种构造时间Petri网状态类的方法[J].计算机工程与应用,2005,41(24):96-99.
-
2赵建,王丽芳,符意德.Petri网在MIS结构设计中的应用[J].南京理工大学学报,1996,20(3):257-260.
-
3戴葵,陈虎,张春元,胡守仁.通用高速可变结构并行神经计算机系统性能分析[J].计算机研究与发展,1998,35(3):211-214.
-
4吕楠,吴哲辉,傅游.基于时间Petri网的工作流用户管理系统的建模及分析[J].系统仿真学报,2008,20(S2):118-122.
-
5潘理,温颖文.时间Petri网弱语义模型的形式化分析[J].计算机工程与应用,2006,42(13):69-72.
-
6潘理,郭观七,欧阳竟成,李武.柔性制造系统的时间Petri网建模与分析[J].计算技术与自动化,2013,32(2):105-108.
-
7秦锋,宋金晶,袁志祥.时间Petri网分析工具的实现[J].计算机工程与应用,2003,39(15):133-134. 被引量:4
-
8潘理,丁志军,陈刚.基于一致分布的时间Petri网模型[J].计算机学报,2010,33(5):900-907. 被引量:3
-
9孟宪福.基于优先级的任务调度与负载均衡模型研究[J].小型微型计算机系统,2005,26(9):1601-1605. 被引量:8
-
10姜彬.基于时间Petri网的建模与分析[J].硅谷,2009,2(18).