Login / Signup
E. Salimi
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 2
Top Topics
Ims Ld
Concurrent Systems
Petri Net
Discrete Event Systems
Top Venues
IEEE Trans. Autom. Control.
RAM/CIS
</>
Publications
</>
E. Salimi
,
N. Somnath
,
Ramavarapu S. Sreenivas
On supervisory policies that enforce liveness in controlled Petri nets that are similar.
RAM/CIS
(2015)
E. Salimi
,
R. S. Sreenivas
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.
IEEE Trans. Autom. Control.
60 (10) (2015)