共 50 条
- [1] COLORED PETRI NETS AND THE MATRIX APPROACH [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (03) : 120 - 124
- [2] Specification of timed authentication protocols with colored Petri nets [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
- [4] A novel matrix approach for the stability and stabilization analysis of colored Petri nets [J]. Science China Information Sciences, 2019, 62
- [6] ExSpect 6.4 -: An executable specification tool for hierarchical colored Petri nets [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 455 - 464
- [8] TOWARDS A MODULAR ANALYSIS OF COLORED PETRI NETS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 113 - 133
- [10] VERIFICATION OF ERROR RECOVERY SPECIFICATION FOR DISTRIBUTED DATA BY USING COLORED PETRI NETS [J]. IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3159 - 3167