Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
Fairness Verification of BOM-Based Composed Models Using Petri Nets
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
| Hi-index | 0.24 |