共 50 条
[23]
A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition
[J].
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC),
2012,
:42-51
[27]
A Petri net-based approach for supporting aspect-oriented modeling
[J].
Frontiers of Computer Science in China,
2008, 2 (04)
:413-423
[28]
Hardware implementation of real-time Petri net-based controllers
[J].
ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997,
1997,
:245-250
[29]
A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification
[J].
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]
Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
[J].
2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9,
2009,
:193-+