The Home Marking Problem and Some Related Concepts R Melinte, O Oanea, I Olga, FL Tiplea Acta Cybernetica 15 (3), 467-478, 2002 | 10 | 2002 |
The confluence property for Petri nets and its applications I Leahu, FL Tiplea Eighth International Symposium on Symbolic and Numeric Algorithms for …, 2006 | 7 | 2006 |
The reversible released form of Petri nets and its applications to soundness of workflow nets FL Ţiplea, I Leahu IEEE Transactions on Systems, Man, and Cybernetics: Systems 46 (2), 303-312, 2015 | 5 | 2015 |
A Discrete Time Control Synthesis Tool for Time Discrete Event Systems A Sava, Z Achour, N Rezg, I Leahu STUDIES IN INFORMATICS AND CONTROL 16 (1), 45, 2007 | 1 | 2007 |
Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems I Leahu 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | | 2010 |
A Control Synthesis Tool for Time Discrete Event Systems I Leahu, A Sava, Z Achour, N Rezg The Proceedings of the Multiconference on" Computational Engineering in …, 2006 | | 2006 |