Publications
]
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[1451] .
2012. SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[1495] .
2012. Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic. 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), . :153-159.
[1452] .
2012. Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
[1432] .
2012. Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
[1447] .
2012. Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
[1435] .
2012. Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1448] .
2012. Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[1449] .
2012. LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1496] .
2012. Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
[1413] .
2012. An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
[1415] .
2012. QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
[1430] .
2012. Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[1433] .
2013. Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[1439] .
2013. Dimension is Compression. Theory of Computing Systems. 52:95-112.
[BC-TSMC-13] .
2013. A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43(5):1167-1181.
[1467] .
2013. Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
[PCFB-LAT-13] .
2013. Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[1491] .
2013. Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
[1492] .
2013. Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[1493] .
2013. Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1498] .
2013. Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[1505] .
2013. Control of Discrete-Event Systems: Automata and Petri-Net Perspectives. Lecture Notes y Control and Information Sciences. 433:478.
[1507] .
2013. On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
