Software Verification Based on Linear Programming
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
| Hi-index | 5.23 |