1 |
FRANCO J, ARIS A, CANBERK B, et al. A survey of honeypots and honeynets for internet of things, industrial internet of things, and cyber-physical systems[J]. IEEE Communications Surveys and Tutorials, 2021, 23( 4): 2351- 2383. 10.1109/comst.2021.3106669
|
2 |
YAN C, MA J. Mechanism of integration of informatization and industrialization based on a fuzzy stochastic model[J]. IAENG International Journal of Applied Mathematics, 2021, 51( 2): No. 18.
|
3 |
CHEN L, TANG S, BALASUBRAMANIAN V, et al. Physical-layer security based mobile edge computing for emerging cyber physical systems[J]. Computer Communications, 2022, 194: 180- 188. 10.1016/j.comcom.2022.07.037
|
4 |
KRISHNA M, CHOWDARY S M B, NANCY P, et al. A survey on multimedia analytics in security systems of cyber physical systems and IoT[C]// Proceedings of the 2nd International Conference on Smart Electronics and Communication. Piscataway: IEEE, 2021: 1- 7. 10.1109/icosec51865.2021.9591754
|
5 |
MAHMOUD M S, HAMDAN M M, BAROUDI U A. Modeling and control of cyber-physical systems subject to cyber attacks: a survey of recent advances and challenges[J]. Neurocomputing, 2019, 338: 101- 115. 10.1016/j.neucom.2019.01.099
|
6 |
WIŚNIEWSKI R, BAZYDŁO G, SZCZEŚNIAK P, et al. Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation[J]. IEEE Access, 2019, 7: 23407- 23420. 10.1109/access.2019.2899316
|
7 |
宋相君, 张广泉. 基于扩展混成Petri网的CPS无人车系统建模与分析[J]. 计算机科学, 2017, 44( 7): 21- 24. 10.11896/j.issn.1002-137X.2017.07.004
|
|
SONG X J, ZHANG G Q. Modeling and analysis of CPS unmanned vehicle system based on extended hybrid Petri net[J]. Computer Science, 2017, 44( 7): 21- 24. 10.11896/j.issn.1002-137X.2017.07.004
|
8 |
HU H, YU J, LI Z, et al. Modeling and analysis of cyber-physical system based on object-oriented generalized stochastic Petri net[J]. IEEE Transactions on Reliability, 2021, 70( 3): 1271- 1285. 10.1109/tr.2020.2998091
|
9 |
CHEN X, ZHU Y, ZHAO Y, et al. Hybrid modeling and model transformation of AADL for verifying the properties of CPS space-time compositions[J]. IEEE Access, 2021, 9: 99539- 99551. 10.1109/access.2021.3095768
|
10 |
陈小颖, 祝义, 赵宇, 等. 面向CPS时空性质验证的混成AADL建模与模型转换方法[J]. 软件学报, 2021, 32( 6): 1779- 1798. 10.13328/j.cnki.jos.006249
|
|
CHEN X Y, ZHU Y, ZHAO Y, et al. Hybrid AADL modeling and model transformation for CPS time and space property verification[J]. Journal of Software, 2021, 32( 6): 1779- 1798. 10.13328/j.cnki.jos.006249
|
11 |
王婷, 苏琪, 陈铁明. 结合关注事件的时间自动机语言包含模型检测[J]. 小型微型计算机系统, 2019, 40( 12): 2578- 2584. 10.3969/j.issn.1000-1220.2019.12.020
|
|
WANG T, SU Q, CHEN T M. Language inclusion checking of timed automata with attention events[J]. Journal of Chinese Computer Systems, 2019, 40( 12): 2578- 2584. 10.3969/j.issn.1000-1220.2019.12.020
|
12 |
HUANG E, McGINNIS L F, MITCHELL S W. Verifying SysML activity diagrams using formal transformation to Petri nets[J]. Systems Engineering, 2020, 23( 1): 118- 135. 10.1002/sys.21524
|
13 |
KAMBLE S S, GUNASEKARAN A, GAWANKAR S A. Sustainable Industry 4.0 framework: a systematic literature review identifying the current trends and future perspectives[J]. Process Safety and Environmental Protection, 2018, 117: 408- 425. 10.1016/j.psep.2018.05.009
|
14 |
JYOTISH N K, SINGH L K, KUMAR C. A state-of-the-art review on performance measurement Petri net models for safety critical systems of NPP[J]. Annals of Nuclear Energy, 2022, 165: No. 108635. 10.1016/j.anucene.2021.108635
|
15 |
GE N, ZILIO S DAL, LIU H, et al. RT-MOBS: a compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus[J]. Science of Computer Programming, 2021, 206: No. 102624. 10.1016/j.scico.2021.102624
|
16 |
DUGGIMPUDI M B, ABBADY S, CHEN J, et al. Spatio-temporal outlier detection algorithms based on computing behavioral outlierness factor[J]. Data and Knowledge Engineering, 2019, 122: 1- 24. 10.1016/j.datak.2017.12.001
|
17 |
FERNÁNDEZ I A, CORTABARRIA J C M, ECHEVERRIA L E. Petri net implementation in programmable logic controllers: methodology for development and validation[C]// Proceedings of the IEEE 19th World Symposium on Applied Machine Intelligence and Informatics. Piscataway: IEEE, 2021: 15- 20. 10.1109/sami50585.2021.9378673
|
18 |
TSIGKANOS C, KEHRER T, GHEZZI C. Modeling and verification of evolving cyber-physical spaces[C]// Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. New York: ACM, 2017: 38- 48. 10.1145/3106237.3106299
|