| [1] 郝克刚. Petri网的分层[DB/OL]. http://www.ccf.org.cn/web/resource/haokegang.pdf, 2007-08-01.
[2] 祁方民,鱼滨,史立军,等. 基于Petri网的软件项目管理建模方法[J]. 系统仿真学报, 2007,19(S1):75-78.
[3] 袁崇义. Petri网原理与应用[M]. 北京:电子工业出版社, 2005.
[4] Van der Aalst W M P. Workflow verification: Finding control-flow errors using Petri-net-based techniques[C]// Business Process Management, Models, Techniques, and Empirical Studies. 2000:161-183.
[5] Stork D G, Van Glabbeek R J. Token-controlled place refinement in hierarchical Petri nets with application to active document workflow[C]// Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets. 2002:394-413.
[6] 夏传良,焦莉,陆维明. Petri网共享PP-型子网合成性质分析[J]. 软件学报, 2007,18(1):22-32.
[7] Fehling R. A concept of hierarchical Petri nets with building blocks[C]// Proceedings of the 12th International Conference on Application and Theory of Petri Nets. 1993:148-168.
[8] 倪悦,范玉顺. 基于着色Petri网的语义Web服务组合形式化验证[J]. 清华大学学报(自然科学版), 2010,50(5):714-717.
[9] Liu Yongshan, Hao Zhongxiao. Petri net based spatio-temporal relationships for moving objects[J]. Journal of Computer Science, 2005,1(4):510-514.
[10] 何炎祥,沈华. 一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J]. 计算机学报, 2013,36(10):1953-1966.
[11] 高翔,祝跃飞,刘胜利. 一种基于广义随机着色Petri网的网络攻击组合模型[J]. 电子与信息学报, 2013,35(11):2608-2614.
[12] 童晓阳,谢红涛,孙明蔚. 计及时序信息检查的分层模糊Petri网电网故障诊断模型[J]. 电力系统自动化, 2013,37(6):63-68.
[13] Houhamdi Z, Athamena B. A Petri net based agent behavioral testing[J]. American Journal of Applied Sciences, 2012,9(11):1876-1883.
[14] 陈曦,周彦,乐晓波,等. Petri网化简新技术研究[J]. 计算机工程与应用, 2012,48(5):47-50.
[15] 汤志伟,殷静. 基于扩展Petri网的仿真建模与分析[J]. 电子科技大学学报, 2012,41(1):131-135.
[16] Qudsiya A A, Rangarajan K. Modelling performance monitoring of it infrastructure components using timed Petri nets[J]. Indian Journal of Computer Science and Engineering, 2012,3(1):94-103.
[17] Ding Zuohua, Ma Jiaying, Kandel A. Petri net representation of switched fuzzy systems[J]. IEEE Transactions on Fuzzy Systems, 2013,21(1):16-29. |
