1. Verification and evaluation for C4ISR system architecture[J];Jun-Xian;Journal of Command and Control,2016
2. Reviews on the development and application of military information systemarchitecture technology[J];Jun-tian;Fire Control& Command Control,2014
3. Formal modeling and verification of multi-agent system architecture [C];Yuan,2013
4. A color petri net based scheduling model for remanufacturing system with stochastic process routing[C];Li,2014
5. Interaction behavior modeling of advanced driving assistance systems by using petri net[C];Wu;2011 International Conference on Networking, Sensing and Control Delft,2011