The home marking problem and some related concepts
Acta Cybernetica
Detecting non-ergodic simulation models of logistics networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Basic qualitative properties of Petri nets with multi-guarded transitions
ACC'09 Proceedings of the 2009 conference on American Control Conference
Resource allocation systems: some complexity results on the S74PR class
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
Hi-index | 0.00 |