Publications
Filters: First Letter Of Title is D [Clear All Filters]
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[SiTe-SMC98] DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
.
1998.
[1501] Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
.
2013.
[1388] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[1389] Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
.
2011.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
.
2006.
[1517] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
.
2014.
[1549] Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2014.
[1275] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
.
2010.
[EzRe-04] A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
.
2004.
.
2002.
.
2003.
[1317] Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics (SMC’10). :2619-2626. Abstract
.
2010.