| Drawing the Line: Basin Boundaries in Safe Petri Nets | 0 | 0.34 | 2020 |
| Distributed computation of vector clocks in Petri net unfoldings for test selection | 0 | 0.34 | 2020 |
| Active Prediction for Discrete Event Systems. | 0 | 0.34 | 2020 |
| Non-atomic Transition Firing in Contextual Nets | 0 | 0.34 | 2015 |
| Test Case Generation for Concurrent Systems Using Event Structures | 0 | 0.34 | 2015 |
| Diagnosability under Weak Fairness | 2 | 0.42 | 2014 |
