共 50 条
- [24] A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 42 - 51
- [25] Petri Net-Based Reliability Assessment and Migration Optimization Strategy of SFC IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2021, 18 (01): : 167 - 181
- [26] A Petri net-based approach for supporting aspect-oriented modeling Frontiers of Computer Science in China, 2008, 2 (04): : 413 - 423
- [28] Hardware implementation of real-time Petri net-based controllers ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 245 - 250
- [29] A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification 20TH INT CONF ON UBIQUITOUS COMP AND COMMUNICAT (IUCC) / 20TH INT CONF ON COMP AND INFORMATION TECHNOLOGY (CIT) / 4TH INT CONF ON DATA SCIENCE AND COMPUTATIONAL INTELLIGENCE (DSCI) / 11TH INT CONF ON SMART COMPUTING, NETWORKING, AND SERV (SMARTCNS), 2021, : 361 - 368
- [30] Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 191 - 204