Author:
Yang Nianhua,Yu Huiqun,Qian Zhilin,Sun Hua
Funder
NSF of China
Shanghai Shuguang Program
Subject
Computer Science Applications,Modeling and Simulation
Reference17 articles.
1. Quantifying software performancee, reliability and security: an architecture-based approach;Sharma;Journal of Systems and Software,2007
2. Petri nets: properties, analysis and applications;Murata;Proceedings of the IEEE,1989
3. Modeling UML sequence diagrams using extended Petri nets;Yang,2010
4. CPN tools for editing, simulating, and analysing coloured Petri nets;Ratzer,2003
5. The great SPN tool: recent enhancements;Baarir;ACM SIGMETRICS Performance Evaluation Review,2009
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献