共 50 条
- [31] Compositional verification of concurrent systems using Petri-net-based condensation rules ACM Trans Program Lang Syst, 5 (917-979):
- [33] Verification and Validation of a Neural-Symbolic Hybrid System Using an Enhanced Petri Net PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, 2008, : 160 - 167
- [34] Compositional verification of concurrent systems using Petri-net-based condensation rules ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 917 - 979
- [35] A compositional partial order semantics for Petri net components APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 235 - 252
- [36] Verification and Analysis of Access Control Policy with Colored Petri Net PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS, 2009, : 610 - 614
- [38] On the design and temporal Petri net verification of grid commerce architecture CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (02): : 247 - 251
- [40] On the design and temporal petri net verification of grid commerce architecture Chin J Electron, 2008, 2 (247-251):