Author:
Heidari Parisa,Boucheneb Hanifa
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Liveness enforcement for production systems modeled by time Petri nets;Information Sciences;2023-11
2. Liveness Enforcement for Time Petri Nets;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17
3. Time based deadlock prevention for Petri nets;Automatica;2022-03
4. An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems;IEEE Transactions on Automatic Control;2020-01
5. A Formal Approach for QoS Assurance in the Cloud;2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom);2015-11