Author:
Le Khanh,Nguyen Toan,Cao Thanh,Bui Thang,Quan Tho
Publisher
Springer International Publishing
Reference17 articles.
1. Heiner, M., Richter, R., Schwarick, M.: Snoopy: a tool to design and animate/simulate graph-based formalisms. In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems and Workshops (SimuTools 2008), p. 15 (2008)
2. Lecture Notes in Computer Science;J Byg,2009
3. André, É., Lembachar, Y., Petrucci, L., Hulin-Hubard, F., Linard, A., Hillah, L., Kordon, F.: Cosyverif: an open source extensible verification environment. In: 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pp. 33–36 (2013)
4. Westergaard, M., Slaats, T.: CPN tools 4: a process modeling tool combining declarative and imperative paradigms. In: 11th International Conference on Business Process Management (BPM 2013), pp. 393–402 (2013)
5. Kozura, V.E., Nepomniaschy, V.A., Novikov, R.M.: Verification of distributed systems modelled by high-level Petri nets. In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), pp. 61–66 (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimal Cache Placement by Identifying Possible Congestion Points in Wireless Sensor Networks;International Conference on Wireless, Intelligent, and Distributed Environment for Communication;2018