Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Formal Description and Verification of Web Service Composition Based on OOPN
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
| Hi-index | 0.00 |