[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.
|