References
- [1] Yu Huang, Wenhui Hu, Xin Gao, Hart-pin Wang, “WSCI Formal Model Analysis Based on Petri Nets”, Computer Engineering & Science, vol. 31, pp. 60-63, Octoble 2009
- [2] Yebai Li, Fuqi Mao, “Research of the Verification in Workflow Process Modeling on the Application of Petri Nets “, 2010. IC4E,10. International Conference on , Sanya, pp. 21 – 24, January 2010
- [3] Zouaghi, L.; Wagner, A.; Badreddin, E., “Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters , Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, Chicago, pp. 73 - 79, August 2010
- [4] Arpaia, P.; Fiscarelli, L.; La Commara, G.; Romano, F., “A Petri Net-Based Software Synchronizer for Automatic Measurement Systems “, Instrumentation and Measurement, IEEE Transactions on, vol. 60, pp. 319 - 328, January 2011
- [5] Mahgoub H Hammad, Alsadig Mohammed, Moawia E. Eldow . , “Design an electronic system use the audio fingerprint to access virtual classroom using Artificial Neural Networks”, Computer, Communications, and Control Technology (I4CT), 2015 International Conference on, Kuching, Malaysia, pp. 578-585, April 2015
- [6] Ziyue Ma , Yin Tong , Zhiwu Li , Alessandro Giua. “Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem”, IEEE Transactions on Automatic Control, vol. 3, pp. 1078 - 1093, May 2016